Baptiste Daroussin
|
ce5e457020
|
Add NO_STAGE all over the place in preparation for the staging support (cat: math)
|
2013-09-20 20:55:04 +00:00 |
|
Brendan Fabeny
|
303161a0eb
|
update master sites; trim headers; reposition LICENSE, WWW
|
2013-03-18 16:11:34 +00:00 |
|
Brendan Fabeny
|
4cc34ccea9
|
switch to the new options format
|
2013-03-07 03:46:47 +00:00 |
|
Brendan Fabeny
|
ddc550ff99
|
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)
|
2013-03-05 20:22:02 +00:00 |
|
Dirk Meyer
|
2b74a89bc8
|
- update png to 1.5.10
|
2012-06-01 05:26:28 +00:00 |
|
Brendan Fabeny
|
88ece46f9f
|
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.
|
2011-12-21 02:58:24 +00:00 |
|