Maximilian Bosch
|
02ceec5343
|
geogebra: 5-0-369-0 -> 5-0-377-0
|
2017-07-26 23:06:30 +02:00 |
|
Peter Hoeg
|
45248be2aa
|
cryptominisat: use new xxd package instead of vim
|
2017-07-24 09:37:58 +08:00 |
|
Franz Pletz
|
e69dfc252a
|
Revert "coq2html: New expression"
This reverts commit 31437ccf7a.
|
2017-07-20 19:36:50 +02:00 |
|
John Wiegley
|
31437ccf7a
|
coq2html: New expression
|
2017-07-20 11:51:25 -04:00 |
|
Jörg Thalheim
|
699f8e2f65
|
Merge pull request #26352 from Mounium/aliza
aliza: init at 1.29.2
|
2017-07-19 07:03:01 +01:00 |
|
Jörg Thalheim
|
d945e3ccc4
|
Merge pull request #27366 from veprbl/version_bumps
bump rivet, yoda, lhapdf
|
2017-07-18 23:38:53 +01:00 |
|
Symphorien Gibol
|
d7103eadc8
|
boolector: 1.{5,6} -> 2.4.1
|
2017-07-18 23:50:31 +02:00 |
|
Gabriel Ebner
|
7ba1c7a9fb
|
iprover: 0.8.1 -> 2.5
|
2017-07-17 22:45:27 +01:00 |
|
Vladimír Čunát
|
371ad29661
|
abc-verifier: fix typo in meta
|
2017-07-15 09:27:41 +02:00 |
|
Dmitry Kalinkin
|
459e3864d2
|
root: 6.10.00 -> 6.10.02
|
2017-07-14 04:40:27 -04:00 |
|
Vincent Laporte
|
8bafd3aaa4
|
ginac: 1.6.2 -> 1.7.2
|
2017-07-13 19:35:06 +02:00 |
|
Michael Raskin
|
dcbe96d260
|
Merge pull request #27197 from kquick/master
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
|
2017-07-08 22:37:12 +02:00 |
|
Vincent Laporte
|
eb2be6d97e
|
acgtk: 1.1 -> 1.3.1
|
2017-07-08 08:52:02 +02:00 |
|
Vincent Laporte
|
43b2b55743
|
hol_light: 2016-07-23 -> 2017-07-06
|
2017-07-08 06:14:43 +00:00 |
|
Kevin Quick
|
6cbd9ce8f9
|
Fix license reference for added libpoly library.
|
2017-07-07 12:54:32 -07:00 |
|
Kevin Quick
|
6387a7ec8b
|
Update yices to add libpoly/mcsat functionality and add soname target.
|
2017-07-06 21:31:38 -07:00 |
|
Kevin Quick
|
8ff05c85ee
|
Add poly library for manipulating polynomials.
|
2017-07-06 21:30:30 -07:00 |
|
Katona László
|
b86eb39a58
|
aliza: 1.28.10->1.29.2
|
2017-07-02 23:39:08 +02:00 |
|
Peter Simons
|
4c5577b504
|
R: update to version 3.4.1
|
2017-06-30 13:37:26 +02:00 |
|
Shea Levy
|
24c59a4452
|
neuron: enable GUI
|
2017-06-28 11:59:54 -04:00 |
|
Maximilian Bosch
|
9516bbf172
|
geogebra: make language configurable
|
2017-06-27 09:51:06 +02:00 |
|
Vincent Laporte
|
ac83ef3994
|
glsurf: 3.3 -> 3.3.1
|
2017-06-26 19:24:33 +02:00 |
|
Joachim F
|
90d3a0314c
|
Merge pull request #26836 from Ma27/update/geogebra
geogebra: 5-0-361-0 -> 5-0-369-0
|
2017-06-25 16:35:13 +01:00 |
|
Maximilian Bosch
|
f5665e9ab4
|
geogebra: 5-0-361-0 -> 5-0-369-0
|
2017-06-25 12:39:30 +02:00 |
|
Jörg Thalheim
|
ad42e5f6e5
|
Merge pull request #26795 from veprbl/root_6.10.00
root: 6.09.02 -> 6.10.00
|
2017-06-25 09:14:30 +01:00 |
|
Dmitry Kalinkin
|
ada12f46dc
|
root: 6.09.02 -> 6.10.00
also workaround #26197
|
2017-06-24 13:38:25 -04:00 |
|
Frederik Rietdijk
|
4f0d812abc
|
python.pkgs.spyder: remove maintainers
since we both do not use this package anymore.
cc @bjornfor
|
2017-06-23 10:44:42 +02:00 |
|
Franz Pletz
|
b6cf652e08
|
boinc: 7.4.42 -> 7.8.0
|
2017-06-20 05:19:31 +02:00 |
|
Gabriel Ebner
|
89e02c7516
|
lean: 3.1.0 -> 3.2.0
|
2017-06-18 20:04:30 +02:00 |
|
Thomas Tuegel
|
c816bbc8a8
|
qt5: remove makeQtWrapper
|
2017-06-18 08:44:42 -05:00 |
|
Thomas Tuegel
|
210f688802
|
qt5: rename qmakeHook to qmake
|
2017-06-18 08:41:57 -05:00 |
|
Thomas Tuegel
|
3f3d33a078
|
qt5: use distinct lib/qt-5.x prefix for each minor version
Using a distinct prefix for plugins and QML libraries allows multiple Qt 5 minor
versions to coexist in the same environment.
|
2017-06-18 08:41:57 -05:00 |
|
Katona László
|
5e528db0d9
|
aliza: init at 1.28.10
|
2017-06-15 19:53:01 +02:00 |
|
Justin Bedo
|
94ec54598c
|
snpeff: 4.3i -> 4.3p
|
2017-06-13 15:31:52 +10:00 |
|
Jörg Thalheim
|
c972f01e2d
|
pymol: set PYTHONPATH in a future way
|
2017-06-02 21:55:16 +01:00 |
|
Katona László
|
2a1c535b7e
|
pymol: added Pmw + python version bump
|
2017-06-02 19:58:00 +02:00 |
|
Maximilian Bosch
|
47e8665595
|
geogebra: 5-0-355-0 -> 5-0-361-0
|
2017-05-30 06:35:33 +02:00 |
|
Dan Peebles
|
594829ddfc
|
msieve: update and enable on Darwin
|
2017-05-26 18:18:39 -04:00 |
|
Dan Peebles
|
1df505fc36
|
ecm: enable on Darwin
|
2017-05-26 18:14:31 -04:00 |
|
Vladimír Čunát
|
8004e79415
|
Merge branch 'master' into staging
|
2017-05-24 03:24:06 +02:00 |
|
Samuel Leathers
|
fdbcee03fe
|
minisat: fix maintainer
|
2017-05-22 23:55:05 -04:00 |
|
Jörg Thalheim
|
2549be898d
|
stp: 2014.01.07 -> 2.2.0
|
2017-05-22 22:25:45 +01:00 |
|
Jörg Thalheim
|
893c7b6112
|
cryptominisat: init at 5.0.1
|
2017-05-22 22:25:14 +01:00 |
|
Jörg Thalheim
|
7786922240
|
minisatUnstable: init at 2013-09-25
|
2017-05-22 22:24:58 +01:00 |
|
Frederik Rietdijk
|
99cfab07b9
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-05-22 09:21:40 +02:00 |
|
Shea Levy
|
b1b61d0988
|
coq: nix-buffer: Inherit variables to PG shell
|
2017-05-22 00:45:54 -04:00 |
|
Jörg Thalheim
|
ea706bd98b
|
Merge pull request #25231 from veprbl/root_6.09.02
root: 6.08.02 -> 6.09.02
|
2017-05-20 17:37:43 +01:00 |
|
Joachim Fasting
|
874b81b31f
|
treewide: s,enableParallelBuild(s),enableParallelBuilding,g
|
2017-05-20 17:16:17 +02:00 |
|
marcnnn
|
e46ca1b95f
|
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
|
2017-05-20 14:00:39 +01:00 |
|
Shea Levy
|
b21540c4a6
|
coq: Add emacs buffer setup
|
2017-05-20 08:34:33 -04:00 |
|