Commit graph

1216 commits

Author SHA1 Message Date
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
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
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
Vladimír Čunát 9fc61d0db5
simgrid: fixup sandboxed build after update #24915 2017-04-16 14:15:32 +02:00
Sophia Gold 76b8ce3023 simgrid: 3.11.1 -> 3.15 2017-04-15 08:22:02 +02:00
Matthias Beyer 6239da6ade diamond: init at 0.8.36 2017-04-12 13:05:57 +02:00
Justin Bedő c5015b77af platypus: fix platforms metadata (#24666) 2017-04-06 10:10:54 +01:00
Maximilian Bosch 1e295260e2
geogebra: 5-0-346-0 -> 5-0-350-0 2017-03-30 21:55:05 +02:00
Robin Gloster b9948fedc6
ncbi_tools: mark as broken and remove -fPIC
PIC is used by default since 16.09
2017-03-30 16:23:34 +02:00
Robin Gloster 13ab07d95a
maxima-ecl: mark as broken 2017-03-30 16:23:34 +02:00
Robin Gloster 536b782450
libsingular: does not build on i686 2017-03-30 16:23:34 +02:00
Joachim F e15b666f79 Merge pull request #24416 from Twey/redprl-2017-03-28
redprl: 2016-09-22 -> 2017-03-28
2017-03-30 14:02:10 +01:00
Robin Gloster f87de53883
sage: mark as broken 2017-03-30 12:06:08 +02:00
James ‘Twey’ Kay c54588d250 redprl: 2016-09-22 -> 2017-03-28 2017-03-28 21:02:30 +01:00
Vladimír Čunát 96d41e393d
treewide: purge maintainers.urkud
It's sad, but he's been inactive for the last five years.
Keeping such people in meta.maintainers is counter-productive.
2017-03-27 19:52:29 +02:00
Thomas Tuegel 299c842df2
qgroundcontrol: broken on Qt 5.6 2017-03-25 08:49:39 -05:00
Maximilian Bosch 9787b2b808
geogebra: 5-0-338-0 -> 5-0-346-0 2017-03-24 22:16:57 +01:00
Peter Hoeg 317734f99c speedcrunch: stick to qt 5.7 as 5.8 is broken 2017-03-25 00:39:30 +08:00