notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
non port: math/coq/distinfo
SVNWeb

Number of commits found XX: 21

Sat, 31 Dec 2016
[ 23:05 hrs ] Original commit   Revision:430173
430173 math/coq/Makefile
430173 math/coq/distinfo
430173 math/coq/files/patch-Makefile.build
430173 math/coq/files/patch-Makefile.install
430173 math/coq/files/patch-configure.ml
430173 math/coq/pkg-plist
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
[ 14:32 hrs ] Original commit   Revision:430124
430124 math/coq/Makefile
430124 math/coq/distinfo
430124 math/coq/files
430124 math/coq/files/patch-Makefile.build
430124 math/coq/files/patch-configure.ml
430124 math/coq/pkg-plist
Update to 8.5.
Sat, 23 May 2015
[ 10:06 johans ] Original commit   Revision:387123
387123 math/coq/Makefile
387123 math/coq/distinfo
387123 math/coq/pkg-plist
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Mon, 22 Dec 2014
[ 10:45 johans ] Original commit   Revision:375227
375227 math/coq/Makefile
375227 math/coq/distinfo
375227 math/coq/pkg-descr
Update to Coq 8.4pl5
Sat, 11 Jan 2014
[ 09:31 johans ] Original commit   Revision:339411
339411 math/coq/Makefile
339411 math/coq/distinfo
339411 math/coq/pkg-plist
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Tue, 30 Apr 2013
[ 14:50 johans ] Original commit   Revision:316937
316937 math/coq/Makefile
316937 math/coq/distinfo
Update coq to 8.4.2
Sun, 17 Feb 2013
[ 10:43 johans ] Original commit   Revision:312410
312410 math/coq/Makefile
312410 math/coq/distinfo
312410 math/coq/files/patch-coq-camlp5-605
312410 math/coq/pkg-plist
- Update coq to 8.4 pl1 [1]
  http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>
Sun, 25 Mar 2012
[ 09:21 johans ] Original commit 
1.33 math/coq/Makefile
1.14 math/coq/distinfo
1.2 math/coq/files/ide-coqide.diff
1.1 math/coq/files/patch-coq-camlp5-605
1.12 math/coq/pkg-plist
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Mon, 25 Apr 2011
[ 17:48 johans ] Original commit 
1.29 math/coq/Makefile
1.13 math/coq/distinfo
Update coq to 8.3.2
Sat, 12 Feb 2011
[ 12:30 johans ] Original commit 
1.27 math/coq/Makefile
1.12 math/coq/distinfo
1.2 math/coq/files/patch-camlp5-6-compat
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
Tue, 9 Nov 2010
[ 07:09 johans ] Original commit 
1.25 math/coq/Makefile
1.11 math/coq/distinfo
1.1 math/coq/files/ide-coqide.diff
1.11 math/coq/pkg-plist
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Fri, 25 Jun 2010
[ 06:53 johans ] Original commit 
1.24 math/coq/Makefile
1.10 math/coq/distinfo
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:             ports/148034
Submitted by:   Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:   yes
Mon, 16 Mar 2009
[ 07:38 johans ] Original commit 
1.19 math/coq/Makefile
1.9 math/coq/distinfo
1.9 math/coq/pkg-plist
Update to 8.2.1
Sun, 6 Apr 2008
[ 17:40 johans ] Original commit 
1.16 math/coq/Makefile
1.8 math/coq/distinfo
1.8 math/coq/pkg-plist
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Mon, 30 Jul 2007
[ 07:36 johans ] Original commit 
1.15 math/coq/Makefile
1.7 math/coq/distinfo
1.7 math/coq/pkg-plist
Update to 8.1.1  (bugfix release)
Sun, 25 Mar 2007
[ 18:44 johans ] Original commit 
1.13 math/coq/Makefile
1.6 math/coq/distinfo
1.6 math/coq/pkg-plist
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Thu, 16 Mar 2006
[ 15:31 pav ] Original commit 
1.12 math/coq/Makefile
1.5 math/coq/distinfo
1.5 math/coq/pkg-plist
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Wed, 7 Dec 2005
[ 15:59 vs ] Original commit 
1.10 math/coq/Makefile
1.4 math/coq/distinfo
Unbreak: Add vendor-patch for ocaml 3.09
Fri, 25 Nov 2005
[ 15:48 pav ] Original commit 
1.29 math/GiNaC/distinfo
1.4 math/add/distinfo
1.4 math/apc/distinfo
1.3 math/arpack++/distinfo
1.4 math/arpack/distinfo
1.4 math/bamg/distinfo
1.6 math/biggles/distinfo
1.9 math/blas/distinfo
1.2 math/blocksolve95/distinfo
1.3 math/calctool/distinfo

(Only the first 10 of 105 ports in this commit are shown above. View all ports for this commit)
- Add SHA256
Wed, 2 Feb 2005
[ 11:34 vs ] Original commit 
1.6 math/coq/Makefile
1.2 math/coq/distinfo
Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)
Sat, 16 Oct 2004
[ 00:55 pav ] Original commit 
1.288 math/Makefile
1.1 math/coq/Makefile
1.1 math/coq/distinfo
1.1 math/coq/pkg-descr
1.1 math/coq/pkg-plist
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found XX: 21

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
motionOct 28
freetype2Oct 22
chromiumOct 21
mysql56-serverOct 21
mysql57-serverOct 21
mysql80-serverOct 21
mariadb103-clientOct 18
mariadb103-serverOct 18
mariadb104-clientOct 18
mariadb104-serverOct 18
mariadb105-clientOct 18
mariadb105-serverOct 18
drupal7Oct 17
py-matrix-synapseOct 17
powerdns-recursorOct 14

8 vulnerabilities affecting 102 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-10-28 10:26:17


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41274
Broken 57
Deprecated 270
Ignore 295
Forbidden 4
Restricted 146
No CDROM 73
Vulnerable 19
Expired 9
Set to expire 241
Interactive 0
new 24 hours 5
new 48 hours9
new 7 days33
new fortnight113
new month194

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