Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-11-21 | treewide: preset windres missing to fix builds on Linux | Orivej Desh | 1 | -1/+8 |
2017-11-19 | stellarium: 0.15.0 -> 0.16.1 | Maximilian Bosch | 1 | -5/+5 |
2017-11-16 | vcftools: init at 0.1.15 (#31339) | rybern | 1 | -0/+24 |
2017-11-16 | pulseview: fix build | Orivej Desh | 1 | -4/+9 |
2017-11-15 | spyder: 2.3.8 -> 3.2.4 | Joerg Thalheim | 1 | -16/+18 |
2017-11-15 | why3: 0.87.3 -> 0.88.1 | Moritz Kiefer | 1 | -3/+3 |
2017-11-14 | sc2-headless: add pysc2 minigame map pack | Dan Haraj | 2 | -1/+17 |
2017-11-14 | maxima: 5.40.0 -> 5.41.0 | Peter Simons | 1 | -2/+2 |
2017-11-14 | wxmaxima: 15.04.0 -> 17.10.1 | Joerg Thalheim | 1 | -22/+22 |
2017-11-12 | Merge pull request #31564 from Mounium/aliza | Renaud | 1 | -2/+2 |
2017-11-12 | aliza: 1.29.2->1.36.3 | Katona László | 1 | -2/+2 |
2017-11-11 | golly: 2.8 -> 3.1 | Michael Raskin | 1 | -17/+10 |
2017-11-11 | pari: 2.9.1 -> 2.9.3 | Michael Raskin | 2 | -4/+4 |
2017-11-10 | clingo: init at 5.2.2 | Michael Raskin | 2 | -0/+30 |
2017-11-09 | z3: update to latest git | Austin Seipp | 1 | -3/+3 |
2017-11-08 | glucose, glucose-syrup: 4.0 -> 4.1 | Michael Raskin | 2 | -11/+12 |
2017-11-06 | Merge pull request #31298 from timokau/sage-fix | Michael Raskin | 9 | -59/+243 |
2017-11-06 | Restrict platforms to what is known to work. | Michael Raskin | 1 | -1/+1 |
2017-11-05 | sage: 6.8 -> 8.0 | Timo Kaufmann | 9 | -59/+243 |
2017-11-05 | yices: 2.5.3 -> 2.5.4 | Austin Seipp | 1 | -12/+14 |
2017-11-05 | cvc4: unstable-2017-05-18 -> 1.5 | Austin Seipp | 1 | -9/+10 |
2017-11-05 | yosys/symbiyosys: 2017.10.16 -> 2017.11.05 | Austin Seipp | 1 | -3/+3 |
2017-11-02 | ngspice: Build shared library | Ben Gamari | 1 | -1/+1 |
2017-11-02 | fix source root locations. | Piotr Bogdan | 1 | -1/+3 |
2017-10-30 | pari: enable darwin build | Daiderd Jordan | 1 | -9/+18 |
2017-10-29 | shogun: init at 6.0.0 | Edward Tjörnhammar | 1 | -0/+51 |
2017-10-29 | colpack: init at 1.0.10 | Edward Tjörnhammar | 1 | -0/+31 |
2017-10-22 | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 1 | -0/+1 |
2017-10-22 | cntk: Disable parallel building | Tuomas Tynkkynen | 1 | -1/+2 |
2017-10-22 | bowtie2: init at 2.3.3.1 | Ryan Bernstein | 1 | -0/+26 |
2017-10-20 | root: 6.10.04 -> 6.10.08 | Dmitry Kalinkin | 3 | -200/+4 |
2017-10-19 | cntk: init at 2.2 | Nikolay Amiantov | 1 | -0/+98 |
2017-10-19 | caffe: 1.0-rc5 -> 1.0 | Nikolay Amiantov | 1 | -6/+17 |
2017-10-17 | nixpkgs: gtkwave 3.3.70 -> 3.3.86 | Austin Seipp | 1 | -8/+10 |
2017-10-16 | sc2-headless: License is unfree | John Ericson | 1 | -0/+1 |
2017-10-16 | sc2-headless: init at 3.17 | Dan Haraj | 1 | -0/+53 |
2017-10-16 | aiger: fix stupid incorrect download link | Austin Seipp | 1 | -1/+1 |
2017-10-16 | nixpkgs: add aiger 1.9.9 | Austin Seipp | 1 | -0/+53 |
2017-10-16 | picosat: install more stuff | Austin Seipp | 1 | -1/+3 |
2017-10-16 | nixpkgs: add 'avy' -- property directed AIGER model checking | Austin Seipp | 2 | -0/+44 |
2017-10-16 | nixpkgs: add symbiyosys, for HDL verification flows | Austin Seipp | 1 | -0/+37 |
2017-10-16 | abella: 2.0.2 -> 2.0.4 | Simon Lackerbauer | 1 | -4/+4 |
2017-10-11 | cubicle: 1.0.2 -> 1.1.1 | Vincent Laporte | 1 | -5/+9 |
2017-10-11 | coq: 8.7+beta1 -> 8.7+beta2 | Maxime Dénès | 1 | -1/+1 |
2017-10-10 | libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0 | Gabriel Ebner | 1 | -2/+2 |
2017-10-10 | isabelle: 2016-1 -> 2017 | Gabriel Ebner | 1 | -4/+8 |
2017-10-05 | Merge branch 'master' into staging | Orivej Desh | 2 | -31/+24 |
2017-10-05 | Mathematica: 11.0.1 -> 11.2.0 | Guanpeng Xu | 1 | -2/+12 |
2017-10-03 | caneda: git-2012-02-16 -> 0.3.1 | Will Dietz | 1 | -29/+12 |
2017-10-03 | Merge branch 'master' into staging | Orivej Desh | 3 | -15/+35 |