1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-17 03:25:46 +00:00
Commit Graph

5 Commits

Author SHA1 Message Date
Thomas Quinot
2eaea200a9 Fix pkg-plist (remove extraneous file left over from previous version).
Problem noted by:	kris (bento)
Reviewed by:		roberto
2003-10-22 14:48:10 +00:00
Thomas Quinot
b686586dd7 Update ASIS to release 3.15p, to match the current version of
the GNAT port.

Approved by:	roberto
2003-08-12 11:55:45 +00:00
Patrick Li
092f407f34 - Update to 3.14p
- Resort pkg-plist and add PORTDOCS support
- Remove unnecessary spacing in Makefile

PR:		36338
Submitted by:	maintainer
2002-03-26 19:24:49 +00:00
Will Andrews
2ed5dbefe7 Update to 3.13p.
PR:		23645
Submitted by:	MAINTAINER
2000-12-21 10:09:32 +00:00
Neil Blakey-Milner
b45c6f59e4 Add asis, the Ada Semantic Interface Specification.
PR:		ports/19873
Submitted by:	Thomas Quinot <quinot@inf.enst.fr>
2000-08-01 10:00:31 +00:00