git: 71ae64f8655c - main - math/alt-ergo: Fix typo in pkg-plist

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Zsolt Udvari <uzsolt_at_FreeBSD.org>
Date: Thu, 10 Oct 2024 06:03:09 UTC

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