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
Maximilian Bosch
b12f76ddd3
geogebra: 5-0-350-0 -> 5-0-355-0 ( #25324 )
2017-04-29 14:34:57 +01:00
Peter Hoeg
bf4710fa80
speedcrunch: allow building with qt 5.8
2017-04-28 08:41:58 +08:00
Daiderd Jordan
2bd39ab013
csdp: fix darwin build
...
the build sets CC=clang causing it to essentially ignore the cc wrapper
2017-04-27 20:55:09 +02:00
Dmitry Kalinkin
be9c0e8b7e
root: 6.08.02 -> 6.09.02
...
This also fixes breakage on darwin due to LLVM4.0 migration.
I had to enable opengl because otherwise macOS build is broken.
See root commit 23f8871c7 ('Do not include OpenGL directly but use our
TGLIncludes for that purpose.')
I've enabled xml because TUnfold depends on it.
2017-04-26 16:34:14 -04:00
lucas8
eedc6799b6
cubicle: init at 1.0.2
2017-04-25 22:02:42 +02:00
Peter Simons
d16c38a260
R: update to version 3.4.0
...
The new version needs TZ configured to a value other than "UTC" for the test
suite to succeed. Otherwise, an assumption in "reg-tests-1d.R" won't hold that
expects
d <- as.POSIXlt("2016-12-06"); d$zone <- 1; format(d)
to throw an error about an invalid time zone.
2017-04-24 15:39:08 +02:00
Mario Rodas
0e7b608ab0
abc-verifier: Add http url scheme to abc homepage
2017-04-23 18:45:36 -05:00
Nikolay Amiantov
13162b9ddb
fritzing: 0.9.0b -> 0.9.3b
...
Fixes #24943 .
2017-04-23 17:53:11 +03:00