Ole Krüger
|
a31c37c759
|
[mathematica] 10.0.2 -> 11.0.1
|
2016-11-25 12:13:41 +01: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 |
|
Dmitry Kalinkin
|
9434ec5441
|
root: fix environment setup
1) s/envHook/postHook/
2) patch to not set $p that fixes nested ```nix-shell -p root``` calls
|
2016-10-29 14:47:32 -04:00 |
|
Ertugrul Söylemez
|
9c8f6fb4fb
|
pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".
|
2016-10-27 14:48:03 +02:00 |
|
Michael Raskin
|
f9f23084d9
|
pari_alpha: fix source link
|
2016-10-27 12:17:16 +02:00 |
|
Will Dietz
|
3cf27a654a
|
yices: Build in parallel, run tests, fix test shebang.
|
2016-10-26 13:01:21 -05:00 |
|
Will Dietz
|
8584ec97ed
|
yices: fix install target by using 'true' as ldconfig
|
2016-10-26 12:59:34 -05:00 |
|
Will Dietz
|
1f89121551
|
yices: 2.3.1 -> 2.5.1
|
2016-10-26 12:59:06 -05:00 |
|
Frederik Rietdijk
|
7077a270bf
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2016-10-26 13:06:43 +02:00 |
|
Michael Raskin
|
28aa92de64
|
maxima: support building with ECL; optionally support building maxima.fas when building with ECL
|
2016-10-26 11:06:41 +02:00 |
|
Michael Raskin
|
36804c75e4
|
singular: Wrap executables instead of symlinking
This way config scripts can fidn out their own location
|
2016-10-26 11:06:40 +02:00 |
|
Michael Raskin
|
2bed05d8e1
|
singular: add an option to install as libsingular
|
2016-10-26 11:06:40 +02:00 |
|
Michael Raskin
|
8e9ad9bfdc
|
pari_alpha: use perl to generate function descriptions
|
2016-10-26 11:06:40 +02:00 |
|
Michael Raskin
|
5af1b7ad02
|
singular: 3-1-2 -> 3-1-7
|
2016-10-26 11:06:39 +02:00 |
|
Michael Raskin
|
93bea1ecb0
|
R: 3.2.3 -> 3.2.4
|
2016-10-26 11:06:37 +02:00 |
|
Michael Raskin
|
5f418b75d6
|
nauty: init at 26r7
|
2016-10-26 11:06:36 +02:00 |
|
Michael Raskin
|
a67a50895c
|
gfan: init at 0.5
|
2016-10-26 11:06:36 +02:00 |
|
Michael Raskin
|
71f659d86d
|
pari_alpha: init at 2.8.0.alpha: planning to use for Sage
|
2016-10-26 11:06:34 +02:00 |
|
Michael Raskin
|
411d5742ca
|
symmetrica: init at 2.0
|
2016-10-26 11:06:33 +02:00 |
|
Michael Raskin
|
c450d7b0a8
|
ratpoints: init at 2.1.3
|
2016-10-26 11:06:33 +02:00 |
|
Frederik Rietdijk
|
e56832d730
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2016-10-22 17:23:24 +02:00 |
|
Vladimír Čunát
|
4328629bf8
|
treewide: fix meta evaluation
There is no `stdenv.maintainers`. /cc @veprbl.
|
2016-10-22 12:05:23 +02:00 |
|
Jörg Thalheim
|
9c0b5e4b22
|
Merge pull request #19666 from veprbl/hep_for_upstream
Add fastjet, hepmc, yoda, rivet, lhapdf, herwig, pythia, sacrifice, nlojet++
|
2016-10-21 21:58:45 +02:00 |
|
Dmitry Kalinkin
|
ef96b48659
|
root: s/python/python2/
|
2016-10-21 15:47:38 -04:00 |
|
Dmitry Kalinkin
|
59a8aff8e6
|
root: add veprbl to maintainers
|
2016-10-21 13:30:30 -04:00 |
|
Dmitry Kalinkin
|
b4e3e7b752
|
add veprbl to maintainers
|
2016-10-21 13:29:57 -04:00 |
|
=
|
d6880b210c
|
yarp: 2.3.65 -> 2.3.66.1
|
2016-10-20 19:34:03 +02:00 |
|
Dmitry Kalinkin
|
3324d8dc72
|
sacrifice: init at 1.0.0
|
2016-10-19 02:17:16 -04:00 |
|
Frederik Rietdijk
|
8963dae343
|
z3: use python2
|
2016-10-18 23:16:07 +02:00 |
|
Shea Levy
|
eca0f17ad2
|
nix-buffer support improvements.
Use inherit-local, add per-package elisp hooks.
|
2016-10-07 10:31:37 -04:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Aneesh Agrawal
|
fcee1d0b28
|
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.
fixes #18000
|
2016-10-01 16:13:41 +02:00 |
|
Brian McKenna
|
57e1250d89
|
redprl: remove explicit builder
patchPhase wasn't being called for me so I've switched out the explicit
builder for the generic form. I can now build RedPRL on locally on
NixOS.
|
2016-09-29 10:52:29 +10:00 |
|
Anthony Cowley
|
a523351314
|
redprl: patch install script shebangs
|
2016-09-27 18:24:06 -04:00 |
|
Joachim F
|
19d3b1aa5f
|
Merge pull request #19004 from nico202/fix-gazebo-cmake
gazebo7: Fix gazebo-config.cmake output file
|
2016-09-27 16:32:32 +02:00 |
|
=
|
efb56cec43
|
gazebo7: Fix gazebo-config.cmake output file
|
2016-09-27 10:30:27 +02:00 |
|
Kirill Boltaev
|
2bc87d48f1
|
scilab: mark as broken
|
2016-09-26 02:36:49 +03:00 |
|