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 3.15p lang Deleted on this many watch lists=0 search for ports that depend on this port
Documentation for the GNAT compiler

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 : Main Web Site : 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
curlApr 11
dbus-glibApr 11
libaudiofileApr 11
linux-f10-curlApr 11
linux-f10-dbus-glibApr 11
linux-f10-libaudiofileApr 11
linux-f10-nas-libsApr 11
linux-f10-openldapApr 11
mingw32-openssl*Apr 11
mingw32-opensslApr 11
nasApr 11
openssl*Apr 11
opensslApr 11
linux-f10-openssl*Apr 10
linux-f10-openssl*Apr 10

13 vulnerabilities affecting 34 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 24391
Broken 175
Deprecated 120
Ignore 527
Forbidden 4
Restricted 266
No CDROM 108
Vulnerable 27
Expired 8
Set to expire 105
Interactive 22
new 24 hours 2
new 48 hours4
new 7 days16
new fortnight39
new month150

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