| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Support LOCALBASE properly (in setting path to custom wish script) | sobomax | 2000-06-23 | 2 | -1/+4 |
| | | | | | | PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp> | ||||
| * | Update to version 3.3.10. | steve | 2000-05-29 | 4 | -8/+8 |
| | | | | | | PR: 18549 Submitted by: maintainer | ||||
| * | ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go. | billf | 2000-05-14 | 1 | -1/+1 |
| | | |||||
| * | Convert to PORTNAME/PORTVERSION. | asami | 2000-04-14 | 1 | -2/+2 |
| | | |||||
| * | Update port to 3.3.9 | jedgar | 2000-02-09 | 2 | -4/+4 |
| | | | | | | PR: 16531 Submitted by: Maintainer | ||||
| * | * Update port to 3.3.8 | jedgar | 2000-01-26 | 4 | -9/+9 |
| | | | | | | | | * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer | ||||
| * | Update port to 3.3.7 | jedgar | 1999-12-24 | 4 | -9/+9 |
| | | | | | | PR: 15617 Submitted by: Maintainer | ||||
| * | Update to 3.3.5 and fixes unfetchable distfile | flathill | 1999-10-12 | 2 | -4/+4 |
| | | | | | | PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com | ||||
| * | xspin333.tcl should be in the PLIST, not 300 | cpiazza | 1999-09-09 | 1 | -1/+1 |
| | | | | | | PR: 13620 Submitted by: Jonathan Hanna <pangolin@home.com> | ||||
| * | ln -> ${LN} | mharo | 1999-08-28 | 1 | -1/+1 |
| | | |||||
| * | Change Id->FreeBSD. | obrien | 1999-08-25 | 1 | -1/+1 |
| | | |||||
| * | Updated to version 3.33 | taoka | 1999-08-12 | 4 | -13/+12 |
| | | | | | | PR: 13015 Submitted: maintainer | ||||
| * | Update spin to 3.30. | cpiazza | 1999-06-25 | 7 | -19/+35 |
| | | | | | | PR: 12373 Submitted by: maintainer | ||||
| * | Missed this one. | asami | 1999-02-12 | 1 | -0/+13 |
| | | |||||
| * | Upgrade to 3.24, fixes build problem. | asami | 1999-02-12 | 4 | -16/+20 |
| | | | | | | PR: 9732 Submitted by: maintainer | ||||
| * | Import of math spin: | jseger | 1998-12-13 | 6 | -0/+191 |
| 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 | |||||
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |