non port: math/coq/distinfo |
Number of commits found: 22 |
Monday, 11 Mar 2024
|
21:50 Guido Falsi (madpilot) Author: Benjamin Jacobs
lang/ocaml: Update to 4.14.1
The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.
- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.
The update includes the following updates to existing ports (needed
to keep them working):
- devel/ocaml-camlp4: Updated to 4.14+1
- devel/ocaml-camlp5: Updated to 8.02.01, homepage updated
- devel/ocaml-dune: Patch to allow overriding the stublibs directory,
strip binary and shared libraries
- devel/ocaml-findlib: Improve port
- devel/ocaml-lwt: Fix build with OCaml 4.14
- deve/ocaml-re: Update to 1.11.0, use new dune USES
- devel/ocaml-sdl: Fix build with new ocaml
- games/freetennis: Fix build, tidy Makefile
- graphics/ocaml-images: Updated to 5.0.4, new homepage, use new
dune USES, undeprecate
- graphics/ocaml-lablgl: Moved into site-lib, dynamic objects
stripped, add missing GL dependencies
- math/coq: Updated to 8.19.0
- math/ocaml-zarith: strip shared libraries, fixed usage of
USE_OCAML_LDCONFIG, use new dune USES
- math/teyjus: Fix build
- net/unison240: Fix build with new compiler
- net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE
- net-p2p/mldonkey: Fix build with new compiler, fix build on i386
- sysutils/ledit: Updated to 2.06, install native binary, Use github,
fix man page installation
- www/geneweb: Build fix for OCaml and Camlp5 updates
- x11-toolkits/ocaml-lablgtk2: Fix build with new compiler
- x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream
dependency, build fix patch
- x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile
Added the following ports:
- devel/ocaml-astring
- devel/ocaml-base
- devel/ocaml-bos
- devel/ocaml-camlp-streams
- devel/ocaml-csexp
- devel/ocaml-fmt
- devel/ocaml-fpath
- devel/ocaml-logs
- devel/ocaml-mtime
- devel/ocaml-pcre2
- devel/ocaml-rresult
- devel/ocaml-seq
- devel/ocaml-stdio
- x11-toolkits/ocaml-graphics
PR: 250408 [1], 262781 [1], 262788 [3], 262789 [1],
262792 [1], 263006 [1], 263162 [3], 263206 [2],
276893 [1], 276945 [4], 276953 [1], 277026 [5],
277241 [1], 277242 [1], 277243 [1], 277244 [1],
277245 [1], 277246 [1], 277247 [1], 277248 [1],
277249 [1], 277250 [1], 277251 [1], 277252 [1],
277253 [1], 277254 [1], 277255 [1], 277256 [4],
277257 [1], 277258 [1]
Approved by: maintainer timeout [1],
yuri (maintainer) [2],
overcome by events, fixit [3],
madpilot (maintainer) [4]
Reviewed by: madpilot
Exp-run by: antoine [5]
Differential Revision: https://reviews.freebsd.org/D43861
8025aa1 |
Saturday, 31 Dec 2016
|
23:05 hrs
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
|
14:32 hrs
Update to 8.5.
|
Saturday, 23 May 2015
|
10:06 johans
Update Coq to 8.4pl6
PR: 200409
Submitted by: yuri@rawbw.com
|
Monday, 22 Dec 2014
|
10:45 johans
Update to Coq 8.4pl5
|
Saturday, 11 Jan 2014
|
09:31 johans
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
|
Tuesday, 30 Apr 2013
|
14:50 johans
Update coq to 8.4.2
|
Sunday, 17 Feb 2013
|
10:43 johans
- 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>
|
Sunday, 25 Mar 2012
|
09:21 johans
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
|
Monday, 25 Apr 2011
|
17:48 johans
Update coq to 8.3.2
|
Saturday, 12 Feb 2011
|
12:30 johans
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
|
Tuesday, 9 Nov 2010
|
07:09 johans
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
|
Friday, 25 Jun 2010
|
06:53 johans
- 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
|
Monday, 16 Mar 2009
|
07:38 johans
Update to 8.2.1
|
Sunday, 6 Apr 2008
|
17:40 johans
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
|
Monday, 30 Jul 2007
|
07:36 johans
Update to 8.1.1 (bugfix release)
|
Sunday, 25 Mar 2007
|
18:44 johans
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
|
Thursday, 16 Mar 2006
|
15:31 pav
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
|
Wednesday, 7 Dec 2005
|
15:59 vs
Unbreak: Add vendor-patch for ocaml 3.09
|
Friday, 25 Nov 2005
|
15:48 pav
- Add SHA256
|
Wednesday, 2 Feb 2005
|
11:34 vs
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer)
|
Saturday, 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: 22 |