mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-24 00:45:52 +00:00
Update to version 6.4.3
PR: 196071 Submitted by: maintainer
This commit is contained in:
parent
8ab0a80b44
commit
0da5e59a65
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=374974
@ -2,7 +2,7 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= spin
|
||||
PORTVERSION= 6.4.2
|
||||
PORTVERSION= 6.4.3
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://spinroot.com/spin/Src/
|
||||
DISTNAME= spin${PORTVERSION:S/.//g}
|
||||
|
@ -1,2 +1,2 @@
|
||||
SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5
|
||||
SIZE (spin/spin642.tar.gz) = 571071
|
||||
SHA256 (spin/spin643.tar.gz) = c1d28254332a797c1788edf6bd6f42ddb95b46011d74763581941aee76878d32
|
||||
SIZE (spin/spin643.tar.gz) = 572960
|
||||
|
@ -91,6 +91,7 @@ man/man1/spin.1.gz
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman2.pml
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/train.pml
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/zune.pml
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/_spin_nvr.tmp
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/README_tests.txt
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/abp.pml
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/calculator.pml
|
||||
|
Loading…
Reference in New Issue
Block a user