| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
29 Apr 2021 20:15:20
  0.95.2_3
|
amdmi3  |
math/alt-ergo: fix build |
06 Apr 2021 14:31:07
0.95.2_3
|
mat |
Remove # $FreeBSD$ from Makefiles. |
04 Feb 2021 10:01:17
  0.95.2_3
|
bapt |
Remove the GUI option
The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries |
18 May 2020 00:58:50
0.95.2_2
|
linimon |
Mark as BROKEN on powerpc64:
/tmp/camlasm2822e8.s: Assembler messages:
/tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
/tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc) |
27 Jun 2016 21:30:34
0.95.2_2
|
rene |
Reset ports maintained by bf@ until he has time again to work on them.
PR: 210474
Submitted by: jbeich
With hat: portmgr-secretary |
01 Apr 2016 14:16:20
0.95.2_2
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
04 May 2015 15:46:52
0.95.2_2
|
madpilot |
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
depends on the camlp4 language and labltk ocaml modules, which are
now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt
PR: 199845
Submitted by: jbeich@
Differential Revision: https://reviews.freebsd.org/D2434
Approved by: portmgr (mat) |
07 Dec 2014 00:07:48
0.95.2_1
|
antoine |
Canonicalize a few licenses |
13 Nov 2014 23:24:01
0.95.2_1
|
antoine |
Cleanup plist |
10 Sep 2014 20:50:37
0.95.2_1
|
gerald |
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
PR: 192025
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit) |
25 Jun 2014 05:35:32
0.95.2
|
bapt |
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends
With hat: portmgr |
02 Jun 2014 23:51:07
0.95.2
|
marino |
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage |
26 May 2014 12:28:34
0.94_2
|
miwi |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
20 Sep 2013 20:55:06
0.94_2
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
18 Mar 2013 16:11:34
0.94_2
|
bf |
update master sites; trim headers; reposition LICENSE, WWW |
07 Mar 2013 03:46:47
0.94_2
|
bf |
switch to the new options format |
05 Mar 2013 20:22:03
0.94_2
|
bf |
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports
PR: 144982, 149958
Reviewed by: johans (earlier version of the patch) |
01 Jun 2012 05:26:28
0.94_1
|
dinoex |
- update png to 1.5.10 |
21 Dec 2011 02:58:24
0.94
|
bf |
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification. |
As an Amazon Associate I earn from qualifying purchases.
