| non port: math/coq/pkg-descr |
|
SVNWeb
|
Number of commits found: 6 |
|
Wed, 7 Sep 2022
|
[ 21:58 Stefan Eßer (se)  ]    fb16dfe (Only the first 10 of 27964 ports in this commit are shown above.  )
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
|
|
Sat, 19 Nov 2016
|
[ 11:39 danfe ]  
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
|
|
Thu, 19 May 2016
|
[ 10:44 amdmi3 ] (Only the first 10 of 929 ports in this commit are shown above. )
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket
|
|
Mon, 22 Dec 2014
|
[ 10:45 johans ]
Update to Coq 8.4pl5
|
|
Mon, 8 Nov 2004
|
[ 21:57 pav ]
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics
PR: ports/73634
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
|
|
Sat, 16 Oct 2004
|
[ 00:55 pav ]
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: 6 |
As an Amazon Associate I earn from qualifying purchases.