Commit graph

1239 commits

Author SHA1 Message Date
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
Peter Simons 5e5d16f425 R: import upstream patch to fix broken "R CMD Sweave" command
The command "R CMD Sweave" always exits with error code "1", even if the
command was successful. This upstream patch remedies this issue.
2017-05-03 14:20:41 +02:00
Aneesh Agrawal bd9246b009 treewide: Always use integers for meta.priority
Meta attributes types are now enforce as of commit
90b9719f4f,
so ensure meta.priority is always set to an integer.

This fixes evaluation of `linuxPackages_latest.virtualbox`
(the impetus for this commit)
and other packages that use lowPrio or hiPrio.
2017-05-02 01:43:22 -04:00
Dmitry Kalinkin a7b4b84048
sherpa: fix for llvm 4 2017-05-02 00:54:42 -04:00
Michael Raskin 41475012eb Merge pull request #25164 from marsam/master
Homogenize abc-verifier, dwm, osmctools homepages
2017-05-01 15:47:15 +02:00
Michael Raskin 49c419cf3e Merge pull request #25117 from lucas8/cubicle
cubicle: init at 1.0.2
2017-05-01 14:26:52 +02:00
Michael Raskin 7ef99bf054 Merge pull request #24085 from bcdarwin/ants
ants: set $ANTSPATH variable in shell scripts
2017-04-30 23:03:06 +02:00
Daiderd Jordan 5e3de3938e Merge pull request #25217 from LnL7/darwin-csdp
csdp: fix darwin build
2017-04-30 14:33:30 +02:00
Michael Raskin ce9c7dd0d6 Merge pull request #21822 from rht/master
coq_HEAD: Update to the latest commit
2017-04-30 12:49:20 +02:00