John Wiegley
d80aa87b13
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
2015-12-21 16:12:43 -08:00
Thomas Tuegel
541b2f20de
fritzing: Qt 5 infrastructure update
2015-12-20 07:56:50 -06:00
Arseniy Seroka
330afe9f4e
Merge pull request #11075 from mogorman/pcb
...
pcb: new package
2015-12-17 09:13:54 +03:00
Matthew O'Gorman
09aff6c104
pcb: init at 20140316
2015-12-16 19:29:17 -05:00
Pascal Wittmann
f45b8176c0
Merge pull request #11074 from mogorman/gerbv
...
gerbv: new package
2015-12-16 18:13:20 +01:00
Matthew O'Gorman
a76241c6cb
gerbv: init at git-2015-10-07
2015-12-15 21:11:54 -05:00
Pascal Wittmann
84c3b5f71f
Merge pull request #11073 from mogorman/geda_fix
...
geda: refdes_renum called /usr/bin/perl
2015-12-14 07:56:41 +01:00
Matthew O'Gorman
f076a0867f
geda: refdes_renum called /usr/bin/perl
2015-12-14 00:04:12 -05:00
Michel Kuhlmann
cebbb18e9e
R: 3.2.2 -> 3.2.3
2015-12-11 11:36:30 +01:00
Bjørn Forsman
c27de52d39
eagle: 6.6.0 -> 7.5.0
...
* It grew a couple of extra (hard) dependencies:
libxcb, cups, xkeyboardconfig
* It is also available in native 64-bit version (yay!)
2015-12-08 22:30:10 +01:00
Frederik Rietdijk
4ff3787adb
python spyder: 2.3.7 -> 2.3.8
2015-12-01 20:23:42 +01:00
Vincent Laporte
38eb17c2e2
why3: 0.86.1 -> 0.86.2
2015-12-01 11:04:08 +01:00
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
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
