mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-20 08:27:15 +00:00
Code Issues Releases Activity

math/yices: Update 2.6.0 -> 2.6.1

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2018-10-28 04:45:48 +00:00
parent 8b015d2ef2
commit 729f4c97de
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=483223
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/yices/Makefile
View File

@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= yices
DISTVERSION= 2.6.0
DISTVERSION= 2.6.1
CATEGORIES= math
MASTER_SITES= http://yices.csl.sri.com/releases/${DISTVERSION}/
DISTNAME= ${PORTNAME}-${DISTVERSION}-src

6
math/yices/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1532156748
SHA256 (yices-2.6.0-src.tar.gz) = 4712c5c4bd1d299418148c68851c023041dc16450907353bedd4c17c1e4713e4
SIZE (yices-2.6.0-src.tar.gz) = 5539571
TIMESTAMP = 1540701574
SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e
SIZE (yices-2.6.1-src.tar.gz) = 5419404