Commit Graph

1402 Commits

Author SHA1 Message Date
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta 2017-07-15 09:27:41 +02:00
Dmitry Kalinkin
459e3864d2
root: 6.10.00 -> 6.10.02 2017-07-14 04:40:27 -04:00
Vincent Laporte
8bafd3aaa4 ginac: 1.6.2 -> 1.7.2 2017-07-13 19:35:06 +02:00
Michael Raskin
dcbe96d260 Merge pull request #27197 from kquick/master
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e acgtk: 1.1 -> 1.3.1 2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743 hol_light: 2016-07-23 -> 2017-07-06 2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9 Fix license reference for added libpoly library. 2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b Update yices to add libpoly/mcsat functionality and add soname target. 2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee Add poly library for manipulating polynomials. 2017-07-06 21:30:30 -07:00
Katona László
b86eb39a58 aliza: 1.28.10->1.29.2 2017-07-02 23:39:08 +02:00
Peter Simons
4c5577b504 R: update to version 3.4.1 2017-06-30 13:37:26 +02:00
Shea Levy
24c59a4452 neuron: enable GUI 2017-06-28 11:59:54 -04:00
Maximilian Bosch
9516bbf172
geogebra: make language configurable 2017-06-27 09:51:06 +02:00
Vincent Laporte
ac83ef3994 glsurf: 3.3 -> 3.3.1 2017-06-26 19:24:33 +02:00
Joachim F
90d3a0314c Merge pull request #26836 from Ma27/update/geogebra
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 16:35:13 +01:00
Maximilian Bosch
f5665e9ab4
geogebra: 5-0-361-0 -> 5-0-369-0 2017-06-25 12:39:30 +02:00
Jörg Thalheim
ad42e5f6e5 Merge pull request #26795 from veprbl/root_6.10.00
root: 6.09.02 -> 6.10.00
2017-06-25 09:14:30 +01:00
Dmitry Kalinkin
ada12f46dc
root: 6.09.02 -> 6.10.00
also workaround #26197
2017-06-24 13:38:25 -04:00
Frederik Rietdijk
4f0d812abc python.pkgs.spyder: remove maintainers
since we both do not use this package anymore.
cc @bjornfor
2017-06-23 10:44:42 +02:00
Franz Pletz
b6cf652e08
boinc: 7.4.42 -> 7.8.0 2017-06-20 05:19:31 +02:00
Gabriel Ebner
89e02c7516 lean: 3.1.0 -> 3.2.0 2017-06-18 20:04:30 +02:00
Thomas Tuegel
c816bbc8a8
qt5: remove makeQtWrapper 2017-06-18 08:44:42 -05:00
Thomas Tuegel
210f688802
qt5: rename qmakeHook to qmake 2017-06-18 08:41:57 -05:00
Thomas Tuegel
3f3d33a078
qt5: use distinct lib/qt-5.x prefix for each minor version
Using a distinct prefix for plugins and QML libraries allows multiple Qt 5 minor
versions to coexist in the same environment.
2017-06-18 08:41:57 -05:00
Katona László
5e528db0d9 aliza: init at 1.28.10 2017-06-15 19:53:01 +02:00
Justin Bedo
94ec54598c
snpeff: 4.3i -> 4.3p 2017-06-13 15:31:52 +10:00
Jörg Thalheim
c972f01e2d
pymol: set PYTHONPATH in a future way 2017-06-02 21:55:16 +01:00
Katona László
2a1c535b7e pymol: added Pmw + python version bump 2017-06-02 19:58:00 +02:00
Maximilian Bosch
47e8665595
geogebra: 5-0-355-0 -> 5-0-361-0 2017-05-30 06:35:33 +02:00
Dan Peebles
594829ddfc msieve: update and enable on Darwin 2017-05-26 18:18:39 -04:00
Dan Peebles
1df505fc36 ecm: enable on Darwin 2017-05-26 18:14:31 -04:00
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,
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
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 ('libc++3.7: fix to use with modern compilers')
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
John Wiegley
360234dab6
coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00
Eelco Dolstra
c5b96ca801 minisat: Fix build on Darwin 2016-12-09 19:57:07 +01:00
Gabriel Ebner
a2210a9efd lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00
Gabriel Ebner
ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
Michael Raskin
3a98749bd1 pari: 2.9.0 -> 2.9.1 2016-12-08 16:15:18 +01:00
Vincent Laporte
431c564993 hol_light: fix build with Camlp5-6.17 2016-11-29 18:34:21 +00:00
Nicolò Balzarotti
f390d68b75 yarp: 2.3.66.1 -> 2.3.68 2016-11-28 17:03:19 +01:00
Michael Raskin
fcc5a4d3b8 Merge pull request #20672 from AndersonTorres/pari
pari/gp: 2.7.6 -> 2.9.0
2016-11-26 13:34:15 +00:00
Ole Krüger
a31c37c759 [mathematica] 10.0.2 -> 11.0.1 2016-11-25 12:13:41 +01:00
AndersonTorres
d395439a10 pari/gp: 2.7.6 -> 2.9.0
Adding gp2c compiler, too.
2016-11-24 22:44:56 -02:00
Vladimír Čunát
4c19651108
Merge #20264: root: fix environment setup 2016-11-14 22:27:09 +01:00
Justin Bedo
a6d6a3972f
plink-ng: init at 1.90b3 2016-11-14 20:28:39 +11:00
Shea Levy
2ded9f3f7b coq: Improve emacs buffer handling 2016-11-13 14:01:01 -05:00
Austin Seipp
0bdc0143fe nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
Frederik Rietdijk
3b5d5041ef Merge pull request #20267 from jbedo/master
Fix bcftools installation prefix
2016-11-09 21:57:46 +01:00
Gabriel Ebner
8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Justin Bedo
ec31e2cc27
Fix bcftools installation prefix 2016-11-09 08:03:04 +11:00
Tim Steinbach
6d11e8ed4c
Remove pal2nal
No longer build/exists
2016-11-03 21:58:47 -04:00
Tim Steinbach
c36a1d6502
paml: 4.2a -> 4.9c 2016-11-03 21:33:19 -04:00
Vincent Laporte
b028b5f4ef coq-8.5: ease the selection of an older (patch level) version 2016-11-02 19:39:22 +01:00
Vincent Laporte
b840da02cd coq: build and install the votour utility 2016-11-02 19:23:15 +01:00
Vincent Laporte
da68cc24f0 coq: 8.5pl2 -> 8.5pl3 2016-11-02 19:23:15 +01:00
vbgl
7f241baaaf Merge pull request #19902 from dtzWill/update/yices
yices: 2.3.1 -> 2.5.1
2016-10-31 09:35:21 +01:00
Will Dietz
0443affe17 yices: Add darwin to meta.platforms 2016-10-30 13:38:07 -05:00