aboutsummaryrefslogtreecommitdiff
path: root/devel/asis-gpl
Commit message (Collapse)AuthorAgeFilesLines
* Fix pkg-plist (remove extraneous file left over from previous version).Thomas Quinot2003-10-222-3/+2
| | | | | | | | Problem noted by: kris (bento) Reviewed by: roberto Notes: svn path=/head/; revision=91898
* BROKEN: Broken pkg-plistKris Kennaway2003-10-131-0/+2
| | | | Notes: svn path=/head/; revision=90987
* Update ASIS to release 3.15p, to match the current version ofThomas Quinot2003-08-124-36/+4
| | | | | | | | | the GNAT port. Approved by: roberto Notes: svn path=/head/; revision=86808
* BROKEN: Does not compileKris Kennaway2003-08-071-5/+1
| | | | Notes: svn path=/head/; revision=86466
* Move inclusion of bsd.port.pre.mk later in the file for conditional BROKENKris Kennaway2003-06-041-5/+5
| | | | | | | | | | tag. Early inclusion caused problems for some ports, so to be safe I'm updating all of them. Pointy hat to: kris Notes: svn path=/head/; revision=82300
* BROKEN on 5.1: does not buildKris Kennaway2003-05-181-1/+7
| | | | Notes: svn path=/head/; revision=81232
* De-pkg-comment.Akinori MUSHA2003-02-212-1/+1
| | | | Notes: svn path=/head/; revision=76032
* - Update to 3.14pPatrick Li2002-03-263-147/+143
| | | | | | | | | | | - Resort pkg-plist and add PORTDOCS support - Remove unnecessary spacing in Makefile PR: 36338 Submitted by: maintainer Notes: svn path=/head/; revision=56712
* BROKEN: does not buildKris Kennaway2002-03-251-0/+2
| | | | Notes: svn path=/head/; revision=56578
* Update to 3.13p.Will Andrews2000-12-215-35/+47
| | | | | | | | PR: 23645 Submitted by: MAINTAINER Notes: svn path=/head/; revision=36188
* Update MASTER_SITESKevin Lo2000-08-251-2/+2
| | | | | | | | PR: 20823 Submitted by: MAINTAINER Notes: svn path=/head/; revision=31973
* Add asis, the Ada Semantic Interface Specification.Neil Blakey-Milner2000-08-018-0/+429
PR: ports/19873 Submitted by: Thomas Quinot <quinot@inf.enst.fr> Notes: svn path=/head/; revision=31200
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 12:52:57 +0000