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
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
Ben Darwin
fbc9a4d7dc
ants: set $ANTSPATH variable in shell scripts
2017-03-22 16:01:05 -04:00
Michael Raskin
47183c813e
golly-beta: init at 2.9b2 to test GL issues
2017-03-22 17:02:55 +01:00
Franz Pletz
bfb7890fa0
Merge pull request #24191 from jbedo/bedtools
...
bedtools: fix clang build
2017-03-22 15:30:19 +01:00
Justin Bedo
56aeb271c9
bedtools: fix clang build
2017-03-22 12:00:24 +11:00
Dan Peebles
7ad3fd7ca7
neuron: fix on clang 3.8 and above
...
This is in preparation for upgrading Darwin stdenv to LLVM 4
2017-03-21 01:00:18 -04:00
Michael Raskin
4d5f33deff
Merge pull request #23376 from bcdarwin/ants
...
ANTs: init at 2.1.0 (0gyys1lf) and update ITK accordingly
2017-03-18 18:42:24 +01:00
rht
bbd1c3d58a
coq_HEAD: Update once more
2017-03-18 01:51:38 +03:00
rht
7264efb5cb
Fold in specific ocaml version choice into let
2017-03-18 01:51:37 +03:00
rht
975d040f07
coq_HEAD: Update to the latest commit
2017-03-18 01:50:26 +03:00
Robin Gloster
f70a896094
hol: mark as broken
2017-03-14 15:36:06 +01:00
Arseniy Seroka
320a8a5a94
Merge pull request #23842 from volhovM/fix/sage_68_sed
...
sage: fix build at 6.8
2017-03-13 16:51:55 +03:00
Robin Gloster
e2a13af49c
emboss: fix build
2017-03-13 13:15:51 +01:00
Mikhail Volkhov
78c0cecc5f
sage: fix build at 6.8
2017-03-13 10:34:55 +03:00
Maximilian Bosch
2df3b5ca7f
geogebra: 5-0-331-0 -> 5-0-338-0 ( #23593 )
2017-03-12 21:37:10 +00:00
Jörg Thalheim
4d13b5d201
Merge pull request #23631 from edef1c/verilator-shebang
...
verilator: fix Perl shebangs
2017-03-09 15:05:40 +01:00
Justin Bedo
1ac797861b
SnpEff: init at 4.3i
2017-03-08 22:43:50 +01:00
Justin Bedo
076e513b94
varscan: init at 2.4.2
2017-03-08 22:43:49 +01:00
Justin Bedo
4bb50fd08c
picard-tools: init at 2.7.1
2017-03-08 22:43:45 +01:00
Justin Bedo
7f214e6410
bedtools: init at 2.26.0
2017-03-08 22:36:29 +01:00
Justin Bedo
661048c803
platypus: init at 2017-03-07
2017-03-08 22:36:03 +01:00
Ricardo Ardissone
e17d3d4ef1
gplates: use boost 160
...
update 161 changed reference parameters for optional
https://hydra.nixos.org/build/49707856/nixlog/1
http://www.boost.org/doc/libs/1_61_0/libs/optional/doc/html/boost_ooptional/relnotes.html
2017-03-08 13:04:34 +02:00
edef
2c02c84cdc
verilator: fix Perl shebangs
2017-03-08 11:38:48 +01:00
Peter Simons
c5563b48ba
R: set TZDIR properly to fix test suite
2017-03-07 14:56:46 +01:00
Peter Simons
6b3eec627e
R: include output of sessionInfo() in the "make check" log
...
The R developers would like that information to be included in bug
reports.
2017-03-07 14:56:46 +01:00
Peter Simons
fac139e723
R: update to version 3.3.3
2017-03-07 14:56:46 +01:00
Jörg Thalheim
99e74e9509
alliance: mark as broken
...
there is no maintainer for this package and even debian looks
for a new maintainer.
2017-03-06 08:27:10 +01:00
Thomas Tuegel
494dc2af2e
Merge pull request #23423 from ttuegel/fricas
...
fricas: 1.2.2 -> 1.3.1
2017-03-03 09:49:47 -06:00
Robin Gloster
bb9a37a2a5
ikarus: remove
...
unmaintained, only works on 32 bit
2017-03-03 13:43:04 +01:00
Benno Fünfstück
253d736398
boinc: fix location of /etc in $out
...
Looks like the latest version no longer requires the patch, and the patch instead resulted in
/etc files being installed to `$out/$out/etc` instead of `$out/etc`
2017-03-03 12:58:43 +01:00
Thomas Tuegel
28cb067600
fricas: 1.2.2 -> 1.3.1
2017-03-02 19:39:55 -06:00
Robin Gloster
c1866cade9
libsForQt5.qmltermwidget: fix build
2017-03-02 14:13:35 +01:00
Ben Darwin
05359c327b
ANTs: init at 2.1.0 (0gyys1lf)
2017-03-01 21:06:30 -05:00
Katona László
085502dd80
cytoscape: fixed issue with startup script
2017-03-01 21:46:49 +01:00
Robin Gloster
4df663a9a2
verilator: 3.884 -> 3.900
2017-02-27 15:22:50 +01:00
Domen Kožar
4ccb553b70
Merge pull request #22817 from jbedo/r
...
R: 3.2.4 -> 3.3.2
2017-02-27 14:02:13 +01:00
Bjørn Forsman
c49533a494
qt-gstreamer1: align attrname with pkgname
2017-02-27 12:16:26 +01:00
Christopher League
242f6caac6
logisim: use better jar wrapper, closes #23068
2017-02-26 10:19:32 +01:00
Gabriel Ebner
cc647804f1
lean: 3.0.0 -> 3.1.0
2017-02-26 08:50:15 +01:00
Thomas Tuegel
0ed156a216
Merge pull request #22977 from ttuegel/triage-kde4
...
Remove KDE 4 desktop packages
2017-02-25 12:21:44 -06:00
Peter Hoeg
e564a399d9
Merge pull request #22770 from NickHu/master
...
fdr: init at 4.2.0
2017-02-25 14:50:04 +08:00
Thomas Tuegel
b4ba042924
qt4: Don't pass top-level attribute through kde4
2017-02-24 16:49:06 -06:00
Nick Hu
cbe765043f
fdr: init at 4.2.0
2017-02-24 11:00:02 +00:00
Justin Bedo
4bb8727284
R: 3.2.4 -> 3.3.2
2017-02-24 15:22:12 +11:00
Franz Pletz
67018e7759
pymol: fix evaluation
...
cc #23007 @Mounium @Mic92
2017-02-22 08:48:42 +01:00
Mounium
eb688ac0a7
pymol: init at 1.8.4 ( #23007 )
2017-02-22 01:35:09 +01:00
