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
Maximilian Bosch
10a453c61b
geogebra: add ma27 as maintainer
2017-02-19 16:51:01 +01:00
Maximilian Bosch
5d62724e27
geogebra: 5-0-328-0 -> 5-0-331-0
2017-02-19 16:44:49 +01:00
Maximilian Bosch
d95868e980
geogebra: 5-0-320-0 -> 5-0-328-0
2017-02-14 17:43:58 +01:00
Rongcui Dong
acce1d9ad2
ngspice: Add XSpice and Cider support
2017-02-13 15:23:38 -08:00
Frederik Rietdijk
2832472da0
golly: use python2
2017-02-10 09:35:10 +01:00
Celine Mercier
78c052e91a
ecopcr: init at 0.8.0
2017-02-06 16:01:08 +01:00
Ian Lancaster
5f67b7b30a
emboss: 6.0.1 -> 6.6.0
2017-02-04 19:05:48 -05:00
Joachim F
2b961075ae
Merge pull request #22231 from Ma27/hotfix/update-geogebra
...
geogebra: 5.0.271.0 -> 5-0-320-0
2017-02-03 01:13:07 +01:00
Gabriel Ebner
311ec6abd5
Merge pull request #22361 from peterhoeg/u/crunch
...
speedcrunch: 0.11 -> 0.12.0
2017-02-02 07:54:06 +01:00
Rongcui Dong
7ea20c9e27
ngspice: 25 -> 26
2017-02-02 07:42:26 +01:00
Peter Hoeg
58a5d0783e
speedcrunch: 0.11 -> 0.12.0
...
Also:
- build against qt5 instead of qt4
2017-02-02 09:13:54 +08:00
Gabriel Ebner
ac10c19746
veriT: 201506 -> 2016
2017-02-01 19:43:02 +01:00
Damien Cassou
58dc8e3024
Remove myself from maintainers
2017-01-31 11:00:14 +01:00
Maximilian Bosch
eda5bca00a
geogebra: 5.0.271.0 -> 5-0-320-0
2017-01-28 17:33:20 +01:00
Vincent Laporte
d40b680101
coq-8.4: fix build of ssreflect and mathcomp
2017-01-25 13:14:31 +00:00
Vincent Laporte
798a87159b
Coq: propagates the findlib package
...
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
Vincent Laporte
9b949be617
coq: minor refactoring
2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0
coq: merge files 8.5.nix and 8.6.nix into default.nix
2017-01-25 10:29:13 +00:00
Vincent Laporte
86b74fb76b
alt-ergo: 0.99.1 -> 1.30
2017-01-21 13:44:41 +00:00
Vincent Laporte
8c928cd55a
why3: 0.87.1 -> 0.87.3
2017-01-21 13:31:10 +00:00
Gabriel Ebner
6c9f4a61be
lean: 2017-01-14 -> 3.0.0
2017-01-20 10:59:54 +01:00
Gabriel Ebner
5ad75554b6
lean: 2017-01-06 -> 2017-01-14
2017-01-14 09:37:48 +01:00
Pascal Wittmann
89dfe67f81
Merge pull request #21819 from AtnNn/isabelle
...
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
Etienne Laurin
3d301e384e
isabelle: 2016 -> 2016-1
2017-01-11 17:33:04 -05:00
Michael Raskin
39ed261c4c
Merge pull request #21632 from veprbl/sherpa_fix
...
sherpa: fix sqlite dependency
2017-01-09 09:58:22 +00:00
Dmitry Kalinkin
0f71012fe6
sherpa: add useful dependencies
2017-01-07 01:36:51 -05:00
Vladimír Čunát
07bf828bd9
Merge branch 'staging'; security /cc #21642
2017-01-06 16:32:47 +01:00
Gabriel Ebner
74a97421ce
lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00