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
Dmitry Kalinkin
2f23d60323
sherpa: fix sqlite dependency
2017-01-04 04:59:06 +00:00
Daiderd Jordan
27660cfdc0
Merge branch 'master' into staging
2017-01-04 01:42:26 +01:00
Domen Kožar
af2cfc076f
haskellPackages.z3: fix #16357
2017-01-03 23:10:24 +01:00
Michael Raskin
7c5784d1f0
maxima: 5.38.1 -> 5.39.0
2017-01-02 21:53:21 +01:00
Daiderd Jordan
5a67b130b9
Merge branch 'master' into staging
2017-01-02 00:54:17 +01:00
Dmitry Kalinkin
c7bcb99ff2
root: 6.04.18 -> 6.08.02
...
This relies on
e9d60c56
2017-01-01 17:52:03 -05:00
Pascal Wittmann
039e90c9d3
fityk: 1.3.0 -> 1.3.1
2017-01-01 18:19:39 +01:00
Gabriel Ebner
68b2d43c88
lean: 2016-12-08 -> 2016-12-30
2016-12-31 13:51:10 +01:00
Dmitry Kalinkin
8fb6895614
sherpa: init at 2.2.1
2016-12-30 14:27:55 -05:00
Michael Raskin
e65cccb776
Merge pull request #21221 from rardiol/gplates
...
gplates: init at 2.0.0
2016-12-28 10:21:23 +00:00
mimadrid
29cb10c021
igv: 2.3.77 -> 2.3.89
2016-12-23 19:37:10 -05:00
John Wiegley
4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
...
Addresses #14829
2016-12-22 10:35:56 -08:00
Jason Daniel Augustine Gilliland
59ca5d213f
freebayes: init at 1.1.0
...
Signed-off-by: zimbatm <zimbatm@zimbatm.com>
2016-12-22 14:10:37 +00:00
ft@zeus
1b8aec421b
stellarium: 0.14.3 -> 0.15.0
...
close #21271
2016-12-21 20:22:44 -05:00
Ricardo Ardissone
662aa495df
gplates: init at 2.0.0
2016-12-16 22:29:53 -02:00
John Wiegley
838a3b4294
coq_8_6: 8.6rc1 -> 8.6
2016-12-14 13:46:07 -08:00
John Wiegley
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13
2016-12-13 08:09:23 -08:00
