diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-04-08 06:01:51 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-04-08 06:01:51 +0000 |
| commit | 8b07d46efa3369642f7fee9557bbefbe6a031d88 (patch) | |
| tree | 32b0161536906a1f6542207f4481f12977545de0 /math | |
| parent | c20bdb2348ad994ec0d9974debae9afdbdbb1b55 (diff) | |
| download | ports-8b07d46efa3369642f7fee9557bbefbe6a031d88.tar.gz ports-8b07d46efa3369642f7fee9557bbefbe6a031d88.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/rumur/Makefile | 2 | ||||
| -rw-r--r-- | math/rumur/distinfo | 6 | ||||
| -rw-r--r-- | math/rumur/pkg-plist | 2 |
3 files changed, 6 insertions, 4 deletions
diff --git a/math/rumur/Makefile b/math/rumur/Makefile index c81820be431f..ee3be024e6d7 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -2,7 +2,7 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2020.03.12 +DISTVERSION= 2020.04.05 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/rumur/distinfo b/math/rumur/distinfo index f82171c3a05e..12116b36a080 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1584112000 -SHA256 (Smattr-rumur-v2020.03.12_GH0.tar.gz) = f9641ce11b19c48348da08513d3bbca01c6c1b03b1b547d38181c275de35500b -SIZE (Smattr-rumur-v2020.03.12_GH0.tar.gz) = 248122 +TIMESTAMP = 1586324784 +SHA256 (Smattr-rumur-v2020.04.05_GH0.tar.gz) = 4764b8f800a702efd175ecd29960bca2c8d6fdfdf25ef4112aece4579615650b +SIZE (Smattr-rumur-v2020.04.05_GH0.tar.gz) = 264556 diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index c3f2083c5aad..b8bf5d151d45 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -1,4 +1,5 @@ bin/murphi2c +bin/murphi2murphi bin/murphi2xml bin/rumur bin/rumur-run @@ -30,6 +31,7 @@ include/rumur/traverse.h include/rumur/validate.h lib/librumur.so man/man1/murphi2c.1.gz +man/man1/murphi2murphi.1.gz man/man1/murphi2xml.1.gz man/man1/rumur-run.1.gz man/man1/rumur.1.gz |