Date: Thu, 10 Oct 2024 06:03:09 GMT From: Zsolt Udvari <uzsolt@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 71ae64f8655c - main - math/alt-ergo: Fix typo in pkg-plist Message-ID: <202410100603.49A639jQ040720@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by uzsolt: URL: https://cgit.FreeBSD.org/ports/commit/?id=71ae64f8655c9d3335eddfa27c7d3261dfed7847 commit 71ae64f8655c9d3335eddfa27c7d3261dfed7847 Author: Benjamin Jacobs <freebsd@dev.thsi.be> AuthorDate: 2024-10-10 06:02:06 +0000 Commit: Zsolt Udvari <uzsolt@FreeBSD.org> CommitDate: 2024-10-10 06:02:49 +0000 math/alt-ergo: Fix typo in pkg-plist PR: 279337 Approved by: submitter is maintainer --- math/alt-ergo/pkg-plist | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist index e96f22f4e074..a66a91ea17c7 100644 --- a/math/alt-ergo/pkg-plist +++ b/math/alt-ergo/pkg-plist @@ -554,5 +554,5 @@ bin/alt-ergo %%OCAML_SITELIBDIR%%/alt-ergo-parsers/AltErgoParsers.cmxs %%DATADIR%%/preludes/fpa-theory-2017-01-04-16h00.ae %%DATADIR%%/preludes/fpa-theory-2019-06-14-11h00.ae -%%DATADIR%%/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae +%%DATADIR%%/preludes/fpa-theory-2019-10-08-19h00.ae %%MANPAGES%%share/man/man1/alt-ergo.1.gz
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202410100603.49A639jQ040720>