JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
95,075 Commits 2 Branches 0 Tags 13 GiB
85cf3b7418
Commit Graph

1056 Commits

Author SHA1 Message Date
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
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
Kirill Boltaev
06ecea00e5 glsurf: mark as broken 2016-09-26 02:36:49 +03:00
Kirill Boltaev
e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00
Anthony Cowley
a3c26fec32 redprl: init at 2016-09-22 2016-09-23 20:37:20 -04:00
Vincent Laporte
c78c2b98c4 ecm: set meta.platforms to linux only 2016-09-21 19:14:11 +02:00
Gabriel Ebner
dd4a015aa8 eprover: 1.9 -> 1.9.1 2016-09-20 11:57:14 -04:00
Joachim F
e22dd2f6c5 Merge pull request #18740 from chris-martin/tulip-4-9 
Tulip: 4.1.0 -> 4.9.0
 2016-09-20 14:34:17 +02:00
Ram Kromberg
a729d6ee55 calc: remove redundant groff dependency 2016-09-19 01:37:45 +03:00
Chris Martin
08e5949235 tulip: 4.1.0 -> 4.9.0 2016-09-18 15:24:29 -04:00
Dmitry Kalinkin
7b9deaba81 root: add setup-hook 2016-09-18 04:45:18 -04:00
Nikolay Amiantov
4748709926 Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs 2016-09-13 12:51:34 +03:00
Franz Pletz
fb9117efa6 Merge pull request #18488 from chris-martin/md5-2 
Miscellaneous packages: Use sha256 instead of md5 (part 2)
 2016-09-13 07:11:43 +02:00