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 |
|
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 |
|
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 |
|
Vladimír Čunát
|
65ede052fa
|
treewide: fixup packages with RPATH problems
|
2017-05-16 18:30:58 +02:00 |
|
Matthew Daiter
|
093130f802
|
openmvs: init at current master (#25672)
* openmvs: init at current master
* openmvs: simplify expression
* openmvs: init at unstable-2017-05-01
|
2017-05-12 20:07:11 +01:00 |
|
Jörg Thalheim
|
be19ad150c
|
Merge pull request #25594 from mimadrid/update/htslib-1.4
Update/htslib 1.4
|
2017-05-11 07:08:56 +01:00 |
|
mimadrid
|
8d1bebf83c
|
bcftools: 1.3.1 -> 1.4
|
2017-05-11 07:04:33 +01:00 |
|
Peter Hoeg
|
32b57bec77
|
Merge pull request #25588 from mimadrid/update/weka-3.8.1
weka: 3.8.0 -> 3.8.1
|
2017-05-09 17:39:05 +08:00 |
|
mdaiter
|
fdd28b6fe0
|
openmvg: clarify Git version
fixes #25615
|
2017-05-09 09:39:41 +01:00 |
|
Frederik Rietdijk
|
183cada05a
|
Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1
cytoscape: 3.4.0 -> 3.5.1
|
2017-05-09 10:03:20 +02:00 |
|
mimadrid
|
9073e67568
|
samtools: 1.3.1 -> 1.4
|
2017-05-07 23:15:48 +02:00 |
|
mimadrid
|
0ed5b1c867
|
cytoscape: 3.4.0 -> 3.5.1
|
2017-05-07 23:05:59 +02:00 |
|
mimadrid
|
bfc3d976f3
|
weka: 3.8.0 -> 3.8.1
|
2017-05-07 22:54:09 +02:00 |
|
Michael Raskin
|
587ed894a4
|
Merge pull request #25480 from mdaiter/openmvg
openmvg: init at v1.1
|
2017-05-05 15:58:17 +02:00 |
|
Matthew Daiter
|
c6385eb0f5
|
openmvg: init at v1.1
|
2017-05-05 15:51:32 +02:00 |
|
Daniel Frank
|
f3f38eccbb
|
kicad: update to 4.0.6
|
2017-05-04 20:39:20 +02:00 |
|