alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
72922 commits 217 branches 121 tags 4.5 GiB
Commit graph

716 commits

Author SHA1 Message Date
Aristid Breitkreuz 158e4ffd9c mathematica package patchPhase does not like set -e 2015-11-30 21:08:30 +01:00
Arseniy Seroka c6932509b8 Merge pull request #11302 from fkz/sad 
add package: system for automated deduction
 2015-11-27 22:25:44 +03:00
Fabian Schmitthenner dc164dc2ee system for automated deduction: init at 2.3-25 2015-11-27 15:12:09 +00:00
Domen Kožar 67e03d0c50 Merge branch 'buildPythonPackage+wheels' 2015-11-26 17:38:35 +01:00
John Wiegley 2b8ef119c5 Revert "coq: 8.5b2 -> 8.5b3" 
This reverts commit c111b0cd4d.

@oconnorr I will restore this once there is more ecosystem to support it.
 2015-11-25 12:58:07 -08:00
Nikolay Amiantov 5ee5b5ba82 R: add curl for https support 2015-11-25 11:39:28 +01:00
Joachim Fasting 6d4ff90207 gap: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting 4229525eac spass: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting 0a4e12c0e2 opensmt: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting c6d645803a iprover: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting a228252b69 cvc3: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting 022bbe1c0c singular: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting 42fc03411f drgeo: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Domen Kožar 4b23328e39 buildPythonPackage: fix more wheels failures 2015-11-21 21:44:12 +01:00
Russell O'Connor c111b0cd4d coq: 8.5b2 -> 8.5b3 2015-11-19 00:10:22 -05:00
Pascal Wittmann 7fd2796e99 Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
Marco Maggesi a487b3326b Update HOL Light to version 2015-11-02 2015-11-03 15:24:56 +01:00
Karn Kallio 87b75c33ce R: advance to version 3.2.2. 
A test failing without recommended packages has been patched.
 2015-10-02 22:15:14 +02:00
Peter Simons ccd3e52b60 Merge pull request #9917 from FlorentBecker/sage 
Update sage to 6.8
 2015-09-30 17:28:36 +02:00
Vincent Laporte 9a1245280d hol_light: add support for camlp5 > 6.12 2015-09-23 19:04:51 +02:00
Vladimír Čunát 76ef7a93e3 Merge: xlibs and x11 attribute cleanup 
Frequently using multiple *almost* identical attributes is bad.
 2015-09-23 10:42:34 +02:00
Florent Becker b860b106c5 sage: 6.1.1 -> 6.8 2015-09-22 09:01:33 +00:00
Gabriel Ebner 5493dccfbb metis-prover: init at 2.3 2015-09-21 21:42:20 +02:00
Erik Rybakken 64c1a9a2e2 perseus: init at 4-beta 2015-09-19 00:56:24 +02:00
William A. Kennington III 773b4deb7c Merge commit 'a6f6c0e' into master.upstream 
This is a partial merge of staging where we have up to date binaries for
all packages.
 2015-09-15 12:16:49 -07:00
Vladimír Čunát 88c9f8b574 xlibs: replace occurrences by xorg 
This seems to have been confusing people, using both xlibs and xorg, etc.
- Avoided renaming local (and different) xlibs binding in gcc*.
- Fixed cases where both xorg and xlibs were used.
Hopefully everything still works as before.
 2015-09-15 12:54:34 +02:00
Vladimír Čunát 21e3ff658a x11: replace its usage by xlibsWrapper directly 
Scilab note: the parameters already had pointed to nonexistent dirs
before this set of refactoring. But that config wasn't even used by
default.
 2015-09-15 12:08:24 +02:00
Mathnerd314 eb7404d97a all-packages: Use callPackage where possible 2015-09-14 22:27:19 -06:00
Marco Maggesi cb2a05b826 HOL Light: findlib is not necessary (nor actually used). Remove dependency. 2015-09-13 18:08:20 +02:00
Russell O'Connor 4cc5f5dbb6 coq: Add csdp dependency 
The csdp program is invoked for some uses of Micromega tactics.
 2015-09-10 11:50:38 -04:00
Russell O'Connor 772ec9cae3 csdp: init at 6.1.1 2015-09-10 11:50:18 -04:00
Domen Kožar f2627f9c81 Merge pull request #9752 from FRidh/maintainer 
add myself as maintainer
 2015-09-09 15:27:34 +02:00
Frederik Rietdijk cd5a9afeac add myself as maintainer 2015-09-09 15:25:49 +02:00
Austin Seipp d8858e48e2 nixpkgs/jonprl: minor touchups 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-09-09 07:48:55 -05:00
Brian McKenna e9bdf0fc07 JonPRL: init at 0.1.0 2015-09-09 21:23:48 +10:00
Vladimír Čunát 8f33b8cc93 mass rewrite of find parameters to cross-platform style 
Fixes #9044, close #9667. Thanks to @taku0 for suggesting this solution.
Now we have no modes starting with `/` or `+`.

Rewrite the `-perm` parameters of find:
 - completely safe: rewrite `/0100` and `+100` to `-0100`,
 - slightly semantics-changing: rewrite `+111` to `-0100`.
I cross-verified the `find` manual pages for Linux, Darwin, FreeBSD.
 2015-09-06 10:26:30 +02:00
Marco Maggesi 97b27e69c0 Update HOL Light to svn r244. 2015-09-01 16:30:27 +02:00
Eelco Dolstra 8fc039188e Mark some packages with undownloadable source as broken 2015-09-01 12:00:04 +02:00
Vladimír Čunát a839a48b0a root: fix build by -lX11 
The pkgconfig change didn't help, but I'd leave it in.
 2015-09-01 08:23:00 +02:00
Arseniy Seroka a3fab58287 Merge pull request #9583 from pjones/pkg/geda 
geda: init at 1.8.2-20130925
 2015-09-01 04:42:34 +03:00
Peter Jones 1d4135eab9 geda: init at 1.8.2-20130925 2015-08-31 15:09:58 -06:00
Gabriel Ebner 6b42cd852a qalculate-gtk: init at 0.9.7 2015-08-31 19:20:29 +02:00
Austin Seipp 16b47aff4b nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-08-30 02:58:47 -05:00
Frederik Rietdijk dbc7e0fea5 spyder: 2.2.5 -> 2.3.6 
Set environment variable to use setuptools (fixes build issue).

[Bjørn: split enabling spyder for python3 into separate commit.]
 2015-08-29 17:41:35 +02:00
Peter Simons 69b648ea95 Revert "Added K Framework package." 
This reverts commit de02110903. The package doesn't
compile: https://github.com/NixOS/nixpkgs/pull/7419#issuecomment-135972366.
 2015-08-29 15:38:33 +02:00
Gabriel Ebner 0349b05695 veriT: 201410 -> 201506 2015-08-26 09:31:39 +02:00
Austin Seipp 1239465314 nixpkgs: lean 20150328 -> 20150821 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-08-21 13:57:16 -05:00
Eelco Dolstra f423ba3863 cbc: Enable on Darwin 2015-08-19 11:53:10 +02:00
Eelco Dolstra 80c137c7a2 Add cbc, a mixed ILP solver 2015-08-12 18:39:28 +02:00
Bjørn Forsman 6542c344bc ngspice: rename pkgname (s/ng-spice-rework/ngspice/) 
I think the previous name comes from the fact that some older versions
were distributed in tarballs named ng-spice-rework-<version>. But now
the "rework" name seems odd; most references I found on the internet
calls the package "ngspice". Fix it.
 2015-08-08 20:02:30 +02:00