FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
gnat-doc-html Documentation for the GNAT compiler
3.15p lang Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 05 Dec 2001 02:44:58
License: not specified in port
Documentation for the GNAT 3.13p compiler in html, info, postscript,
TeXi, or plain-text formats.

WWW: http://www.gnat.com/
SVNWeb : Homepage : Distfiles Availability : PortsMonThere are no ports dependent upon this port

No installation instructions: this port has been deleted.

The package name of this deleted port was: gnat-doc-html


Configuration Options
     No options to configure

Master Sites:
  1. ftp://cs.nyu.edu/pub/gnat/3.15p/
  2. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  3. ftp://ftp.cdrom.com/pub/languages/ada/compiler/gnat/3.15p/
  4. ftp://ftp.cnam.fr/pub/Ada/PAL/compiler/gnat/3.15p/
  5. ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium/mirrors/cs.nyu.edu/pub/gnat/3.15p/
  6. ftp://ftp.cs.tu-berlin.de/pub/gnat/3.15p/
  7. ftp://ftp.informatik.rwth-aachen.de/pub/mirror/cs.nyu.edu/pub/gnat/3.15p/
  8. ftp://ftp.lip6.fr/pub/gnat/3.15p/
  9. ftp://wuarchive.wustl.edu/languages/ada/compiler/gnat/3.15p/
Port Moves
  • port deleted on 2011-03-07
    REASON: Unmaintained and obsolete

Number of commits found: 14

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Mar 2011 06:34:57
Original commit files touched by this commit  3.15p
wen search for other commits by this committer
- Remove obsolete gnat-doc(3.15p) ports

PR:             ports/153676
Submitted by:   John Marino <freebsdml@marino.st>
01 Jul 2010 12:19:27
Original commit files touched by this commit  3.15p
stefan search for other commits by this committer
- Ignore port if NOPORTDOCS is defined.
- Dynamically adjust pkg-message.
- Adjust DOCSDIR and plist.

PR:             142709
Submitted by:   Sevan Janiyan <venture37@geeklan.co.uk>
Feature safe:   yes
21 Dec 2009 02:19:12
Original commit files touched by this commit  3.15p
dougb search for other commits by this committer
For ports maintained by ports@FreeBSD.org, remove names and/or
e-mail addresses from the pkg-descr file that could reasonably
be mistaken for maintainer contact information in order to avoid
confusion on the part of users looking for support. As a pleasant
side effect this also avoids confusion and/or frustration for people
who are no longer maintaining those ports.
25 Nov 2005 00:33:45
Original commit files touched by this commit  3.15p
pav search for other commits by this committer
- Add SHA256
11 Sep 2005 08:50:43
Original commit files touched by this commit  3.15p
linimon search for other commits by this committer
Remove dead mastersite.

Source:         distfile survey
13 Feb 2005 18:28:23
Original commit files touched by this commit  3.15p
linimon search for other commits by this committer
With portmgr hat on, reset maintainership of these ports.  Maintainer's
old email address bounces, and he has not been responsive to email on the
only other one we have for him.

These ports are now available for adoption.

Come back coop, we miss ya ...
18 Mar 2004 02:27:55
Original commit files touched by this commit  3.15p
trevor search for other commits by this committer
Add size data.

Approved by:    maintainers
19 Dec 2003 23:22:07
Original commit files touched by this commit  3.15p
pav search for other commits by this committer
- Update to 3.15p

PR:             ports/60353
Submitted by:   John Merryweather Cooper <johnmary@adelphia.net> (maintainer)
21 Feb 2003 12:35:09
Original commit files touched by this commit  3.14p
knu search for other commits by this committer
De-pkg-comment.
12 Dec 2002 07:58:25
Original commit files touched by this commit  3.14p
edwin search for other commits by this committer
Fix URLs in pkg-message

PR:             laven Rezic <slaven.rezic@berlin.de>
Submitted by:   ports/45260
17 Nov 2002 23:06:21
Original commit files touched by this commit  3.14p
edwin search for other commits by this committer
Change of maintainers email address.

PR:             ports/45369
Submitted by:   John Merryweather Cooper <coop9211@uidaho.edu>
08 Feb 2002 15:41:54
files touched by this commit
kevlo search for other commits by this committer
Update to version 3.14p    
05 Dec 2001 05:51:43
files touched by this commit
lioux search for other commits by this committer
o Forced commit to correct previous log message   o New port gnat-doc-html
version 3.13p: Documentation for the GNAT   compiler   o Master port for all
gnat-doc-* ports    
05 Dec 2001 05:44:58
files touched by this commit
lioux search for other commits by this committer
o New port jgnat-doc-html version 1.1p: Documentation for the JGNAT   compiler  
o Master port for all jgnat-doc-* ports    

Number of commits found: 14

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
php5Feb 26
php55Feb 26
php56Feb 26
krb5-111Feb 25
e2fsprogsFeb 24
e2fsprogsFeb 24
bind910Feb 23
bind99Feb 23
samba36Feb 23
samba4Feb 23
samba41Feb 23
krb5-112Feb 21
asterisk13*Feb 17
unzipFeb 17
krb5*Feb 13

11 vulnerabilities affecting 18 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24610
Broken 94
Deprecated 34
Ignore 373
Forbidden 1
Restricted 207
No CDROM 93
Vulnerable 18
Expired 0
Set to expire 29
Interactive 0
new 24 hours 6
new 48 hours11
new 7 days33
new fortnight57
new month134

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.