Commit Graph

1151 Commits

Author SHA1 Message Date
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
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