aboutsummaryrefslogtreecommitdiff
path: root/devel/spin/distinfo
Commit message (Collapse)AuthorAgeFilesLines
* Update to 4.2.6Marcus Alves Grando2005-11-271-2/+3
| | | | | | | | | | Add SHA256 PR: 89621 Submitted by: Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer) Notes: svn path=/head/; revision=149690
* - Update to 4.2.5 [1]Simon Barner2005-05-231-2/+2
| | | | | | | | | | | | - Fix portlint warning [2] - Fix plist w/ NOPORTDOCS (man page) [2] Submitted by: maintainer[1], barner [2] PR: ports/81383 Notes: svn path=/head/; revision=135955
* Update to 4.2.4Volker Stolz2005-03-081-2/+2
| | | | | | | | PR: ports/78572 Submitted by: maintainer Notes: svn path=/head/; revision=130640
* Update to 4.2.2Volker Stolz2005-01-111-2/+2
| | | | | | | | PR: ports/75841 Submitted by: maintainer Notes: svn path=/head/; revision=126145
* - Update to 4.2.1Pav Lucistnik2004-11-021-2/+2
| | | | | | | | PR: ports/73402 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) Notes: svn path=/head/; revision=120650
* - Update to 4.2.0Pav Lucistnik2004-07-021-2/+2
| | | | | | | | PR: ports/68611 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) Notes: svn path=/head/; revision=112819
* - Update to version 4.1.3Kirill Ponomarev2004-06-051-2/+2
| | | | | | | | PR: ports/67584 Submitted by: maintainer Notes: svn path=/head/; revision=110864
* Use new distfile. Minor changes were made to xspin412.tcl, mostlyTrevor Johnson2004-03-091-2/+2
| | | | | | | | | | | in the comments, and DOS-style carriage-return characters were added to the file. PR: 63940 Submitted by: Jonathan Hanna (maintainer) Notes: svn path=/head/; revision=103474
* - Update to version 4.1.2Kirill Ponomarev2004-02-231-1/+2
| | | | | | | | PR: ports/63290 Submitted by: maintainer Notes: svn path=/head/; revision=101912
* The HTML documentation tarball has been removedErwin Lansing2003-08-281-1/+0
| | | | | | | | PR: 56071 Submitted by: maintainer Notes: svn path=/head/; revision=87856
* A newer spin has been released. Also, the current spin suffersYen-Ming Lee2003-08-081-1/+1
| | | | | | | | | | | | | | | | | from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca> Notes: svn path=/head/; revision=86612
* Update spin 4.0.3 -> 4.0.6Michael Landin2003-06-041-1/+1
| | | | | | | | | PR: 52819 Submitted by: maintainer Approved by: roberto (mentor) Notes: svn path=/head/; revision=82260
* Update to 4.0.3.Norikatsu Shigemura2003-04-111-1/+1
| | | | | | | | PR: ports/50706 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) Notes: svn path=/head/; revision=78743
* upgrade to 3.5.2Ying-Chieh Liao2003-01-021-1/+1
| | | | | | | | PR: 46071 Submitted by: maintainer Notes: svn path=/head/; revision=72293
* * Upgrade to 3.5.0.Oliver Braun2002-10-161-1/+1
| | | | | | | | | | | | * Change maintainers email. * Use REINPLACE. * Add master site. PR: 43753 Submitted by: maintainer Notes: svn path=/head/; revision=68168
* Upgrade to version 3.4.14 .SADA Kenji2002-05-171-1/+1
| | | | | | | | PR: ports/36862 Submitted by: maintainer Notes: svn path=/head/; revision=59349
* Update to 3.4.13Patrick Li2002-02-171-1/+1
| | | | | | | | PR: 35013 Submitted by: maintainer Notes: svn path=/head/; revision=54787
* Really update to 3.4.9 this timeDavid W. Chapman Jr.2001-10-191-1/+1
| | | | | | | | | | Bump PORTREVISON to make sure no problems with previous error PR: 31269 Submitted by: maintainer Notes: svn path=/head/; revision=48949
* Update to 3.4.8.Daniel Harris2001-07-161-1/+1
| | | | | | | | PR: 28848 Submitted by: maintainer Notes: svn path=/head/; revision=45164
* update to 3.4.7James E. Housley2001-05-271-1/+1
| | | | | | | | PR: 27541 Submitted by: jhanna@home.com Notes: svn path=/head/; revision=43131
* update to 3.4.5Michael Haro2001-03-291-1/+1
| | | | | | | | PR: 26062 Submitted by: maintainer Notes: svn path=/head/; revision=40549
* Update to version 3.4.4Kevin Lo2001-02-121-1/+1
| | | | | | | | PR: 25024 Submitted by: MAINTAINER Notes: svn path=/head/; revision=38253
* Update to 3.4.2Peter Pentchev2000-12-101-1/+1
| | | | | | | | PR: 23408 Submitted by: maintainer Notes: svn path=/head/; revision=35820
* Update to 3.4.1Ade Lovett2000-09-161-2/+2
| | | | | | | | PR: 21181 Submitted by: maintainer Notes: svn path=/head/; revision=32730
* Update to version 3.3.10.Steve Price2000-05-291-1/+1
| | | | | | | | PR: 18549 Submitted by: maintainer Notes: svn path=/head/; revision=28872
* Update port to 3.3.9Chris D. Faulhaber2000-02-091-1/+1
| | | | | | | | PR: 16531 Submitted by: Maintainer Notes: svn path=/head/; revision=25616
* * Update port to 3.3.8Chris D. Faulhaber2000-01-261-1/+1
| | | | | | | | | | * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer Notes: svn path=/head/; revision=25079
* Update port to 3.3.7Chris D. Faulhaber1999-12-241-1/+1
| | | | | | | | PR: 15617 Submitted by: Maintainer Notes: svn path=/head/; revision=23951
* Update to 3.3.5 and fixes unfetchable distfileSeiichirou Hiraoka1999-10-111-1/+1
| | | | | | | | PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com Notes: svn path=/head/; revision=22353
* Updated to version 3.33Satoshi Taoka1999-08-121-1/+1
| | | | | | | | PR: 13015 Submitted: maintainer Notes: svn path=/head/; revision=20662
* Update spin to 3.30.Chris Piazza1999-06-251-2/+2
| | | | | | | | PR: 12373 Submitted by: maintainer Notes: svn path=/head/; revision=19757
* Upgrade to 3.24, fixes build problem.Satoshi Asami1999-02-121-2/+2
| | | | | | | | PR: 9732 Submitted by: maintainer Notes: svn path=/head/; revision=16638
* Import of math spin:Justin M. Seger1998-12-121-0/+2
Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com Notes: svn path=/head/; revision=15311
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-16 04:32:06 +0000