| .. |
|
almonds
|
almonds: update license
|
2018-09-09 02:04:34 +02:00 |
|
bcal
|
|
|
|
bliss
|
|
|
|
caffe
|
|
|
|
calc
|
calc: 2.12.6.8 -> 2.12.7.1 (#50173)
|
2018-11-10 15:32:06 +01:00 |
|
cbc
|
|
|
|
clp
|
|
|
|
cntk
|
|
|
|
colpack
|
colpack: set platform to linux
|
2018-11-11 02:17:49 +01:00 |
|
cplex
|
|
|
|
csdp
|
|
|
|
ecm
|
|
|
|
eukleides
|
|
|
|
form
|
|
|
|
fricas
|
Treewide: use https for SourceForge
|
2018-11-24 19:58:03 +01:00 |
|
gap
|
|
|
|
geogebra
|
|
|
|
gfan
|
|
|
|
giac
|
giac: add missing optional dependencies
|
2018-12-09 23:18:53 +01:00 |
|
ginac
|
|
|
|
glsurf
|
|
|
|
gmsh
|
gmsh: 4.0.4 -> 4.0.5
|
2018-11-19 11:12:38 -05:00 |
|
gurobi
|
gurobi: install Java library files
|
2018-11-14 19:38:18 +01:00 |
|
hmetis
|
|
|
|
jags
|
jags: update homepage + fix license
|
2018-09-02 01:46:18 +02:00 |
|
LiE
|
|
|
|
lp_solve
|
|
|
|
lrcalc
|
|
|
|
mathematica
|
|
|
|
maxima
|
Treewide: use HTTPS on SourceForge
|
2018-12-02 15:33:08 +01:00 |
|
msieve
|
|
|
|
mxnet
|
mxnet: fix library dependencies.
|
2018-09-04 20:27:25 +02:00 |
|
nasc
|
nasc: 0.5.0 -> 0.5.1
|
2018-11-10 14:18:31 +01:00 |
|
nauty
|
nauty: 26r10 -> 26r11
|
2018-10-03 05:54:07 -07:00 |
|
palp
|
|
|
|
pari
|
gp2c: 0.0.11 -> 0.0.11pl1
|
2018-11-09 17:56:17 -08:00 |
|
pcalc
|
|
|
|
perseus
|
|
|
|
polymake
|
polymake: init at 3.2r4
|
2018-11-22 12:29:14 +03:00 |
|
pspp
|
Treewide: use HTTPS on GNU domains
|
2018-12-02 15:51:59 +01:00 |
|
pynac
|
pynac: add license
|
2018-09-08 14:48:19 +02:00 |
|
qalculate-gtk
|
qalculate-gtk: 2.6.2 -> 2.8.1
|
2018-11-10 13:17:17 +01:00 |
|
R
|
treewide: add dontUseImakeConfigure where needed
|
2018-11-28 20:14:45 -06:00 |
|
ratpoints
|
|
|
|
ries
|
|
|
|
ripser
|
lib/trivial: add a few examples of usage of assertMsg/assertOneOf
|
2018-09-06 18:14:27 +02:00 |
|
sage
|
giac: 1.4.9 -> 1.5.0
|
2018-12-09 23:18:46 +01:00 |
|
scilab
|
|
|
|
scilab-bin
|
scilab-bin: adding application launchers
|
2018-12-02 17:53:40 +10:00 |
|
scotch
|
|
|
|
singular
|
|
|
|
speedcrunch
|
|
|
|
symmetrica
|
symmetrica: update homepage
|
2018-09-02 01:46:25 +02:00 |
|
weka
|
|
|
|
wxmaxima
|
|
|
|
yacas
|
|
|
