JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
52,323 Commits 2 Branches 0 Tags 13 GiB
007f80c1d0
Commit Graph

534 Commits

Author SHA1 Message Date
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style 
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
 2014-11-06 00:48:16 +00:00
Joachim Fasting
71a443c1b2 Add mirrors for sage 2014-11-03 23:04:44 +01:00
Peter Simons
b5fed52c43 Merge pull request #4238 from wkennington/master.boost 
Make boost 156 the default
 2014-11-03 23:03:01 +01:00
John Wiegley
d4c3e454a2 coq_HEAD: update to latest commit 2014-11-03 15:27:32 -06:00
John Wiegley
2b9e43b513 coq: 8.4pl4 -> 8.4pl5 2014-11-03 10:49:38 -06:00
Peter Simons
109f19d749 Merge pull request #4788 from joachifm/sage 
sage fixes
 2014-11-03 11:16:56 +01:00
William A. Kennington III
aa3e800be7 boost: Remove boost.lib 2014-11-02 17:22:27 -08:00
Joachim Fasting
6f7822ddda sage: fix download url for version 6.1.1 2014-11-02 20:55:08 +01:00
Joachim Fasting
82ec13eaa3 sage: fix meta information 
Correct homagepage, description, and license.
 2014-11-02 20:55:02 +01:00
Peter Simons
ead6bc4a57 R: run the test suite only when recommended packages are built 2014-11-01 21:08:05 +01:00
Peter Simons
12e26d47b7 R: update to version R-3.1.2 2014-11-01 13:43:48 +01:00
Lluís Batlle i Rossell
f7f7a0d0f4 Updating qucs to 0.18 
Patch by 'emery' on irc.
 2014-10-29 10:29:53 +01:00
Jiri Marsik
ceba23605c Added acgtk-1.1 2014-10-28 14:06:21 +01:00
Jaka Hudoklin
42da129d34 Merge pull request #4456 from robberer/pkgs/fritzing 
fritzing: add version 0.9.0b
 2014-10-12 22:58:45 +02:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation 
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
 2014-10-12 16:21:02 +02:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Domen Kožar
b4a7c1a6e2 xplanet: fix giflib update 2014-10-11 19:53:18 +02:00
Vincent Laporte
9d5be8a757 maxima: update from 5.33.0 to 5.34.1 2014-10-10 21:55:16 +01:00
Longrin Wischnewski
56a2f589b8 fritzing: add version 0.9.0b 
- An open source prototyping tool for Arduino-based projects
 2014-10-10 12:43:39 +02:00
John Wiegley
e73aefcf93 coq_HEAD: Update 2014-10-09 14:52:35 -05:00
Peter Simons
8ee5bd585f haskell-sloane: update to version 1.9.3 
This version supports the latest optparse-applicative.
 2014-10-06 11:21:39 +02:00
Mateusz Kowalczyk
3d26ea99dc Merge pull request #4342 from vbgl/camlp5-6.12 
Camlp5: update to 6.12; hol-light: update to r199
 2014-10-03 18:36:06 +01:00
John Wiegley
10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Vincent Laporte
c260abbff8 hol_light: update to r199 
And adds compatibility with camlp5-6.12
 2014-10-01 00:44:15 +01:00
John Wiegley
57b292fb1b isabelle: Another Linux hash change? 2014-09-30 16:44:15 -05:00
John Wiegley
5a7ce1185b isabelle: Remove Linux patches (is this correct?) 2014-09-30 16:41:47 -05:00
John Wiegley
8d9cd1557b isabelle: Correct the 2014 sha value for Linux 2014-09-30 16:15:34 -05:00
John Wiegley
db690f28a3 isabelle: 2013 -> 2014, plus add darwin support 2014-09-30 12:57:30 -05:00
Mateusz Kowalczyk
ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers 
Working with Coq
 2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk
9440f55ef8 gtkwave: update from 3.3.61 to 3.3.62 
cc @viric
 2014-09-30 11:04:26 +01:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte
fde68228d9 coq: setup-hook for libraries 
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
 2014-09-28 14:03:14 +01:00
Michael Raskin
9ae10b2cac Update golly 2014-09-24 14:07:00 +04:00
Michael Raskin
50e55fd793 Update PARI 2014-09-24 13:32:46 +04:00
John Wiegley
4eedbfd786 coq_HEAD: update to latest Git HEAD 2014-09-23 13:19:51 -05:00
William A. Kennington III
31220480d8 boost: Update depdendent packages 2014-09-21 17:20:59 -07:00
Peter Simons
ee4a606cdf Merge pull request #4165 from ftrvxmtrx/pcalc 
added pcalc package
 2014-09-19 14:42:07 +02:00
Siarhei Zirukin
00298c7bba added pcalc package 2014-09-19 13:31:52 +02:00
Peter Simons
2a54f52b22 coq_HEAD: Revert "update to latest Git version" 
This reverts commit bf009f87a9. The update
breaks the build.
 2014-09-19 12:29:07 +02:00
Aristid Breitkreuz
6fc7efa7b3 add mathematica 10 (slightly borked but runs) 2014-09-17 23:25:35 +02:00
Marco Maggesi
6110679bee Update hol_light to r198. Add myself as a maintainer 2014-09-16 16:55:56 +02:00
John Wiegley
10afb382b7 ott: 0.25 new expression 2014-09-15 21:50:07 +01:00
Peter Simons
b9f7f19820 R: Revert update to version 3.1.1 
This reverts commit 6e803a684f. The new version
fails its test suite [1]. The issue has been reported upstream [2].

[1] http://hydra.cryp.to/build/191457/nixlog/1/raw
[2] https://bugs.r-project.org/bugzilla/show_bug.cgi?id=15975
 2014-09-13 20:03:44 +02:00
Pascal Wittmann
8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Peter Simons
6e803a684f R: update to version 3.1.1 2014-09-12 15:20:06 +02:00
John Wiegley
bf009f87a9 coq_HEAD: update to latest Git version 
In particular, to get the fix for #3585 in the Coq bug tracker
 2014-09-09 18:02:32 +01:00
Moritz Ulrich
0fe866c3a1 gtkwave: update from 3.3.53 to 3.3.61 2014-09-04 19:31:33 +02:00
Michael Raskin
bacd3e852d Update pari 2014-09-02 14:25:17 +04:00
Pascal Wittmann
038c71a11a boinc: update from 7.2.42 to 7.4.14 (fixes CVE-2013-2298) 2014-09-01 22:51:04 +02:00
Michael Raskin
979f0e1d67 Update TPTP 2014-08-31 19:25:32 +04:00