John Wiegley
708e16e675
ssreflect: 1.4 -> 1.5
2014-08-19 16:03:33 -05:00
John Wiegley
cfc70c60ab
coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590
2014-08-16 00:13:15 -05:00
Thomas Strobel
58b4b98377
Add application for scientific data analysis: fityk
2014-08-14 01:57:27 +02:00
Michael Raskin
cee539cc9c
Allow optional functionality in SimGrid
2014-08-12 14:09:54 +04:00
Michael Raskin
2e84472d60
Update SimGrid
2014-08-12 05:26:33 +04:00
Michael Raskin
f1f0f0cf19
Update and fix LEO2 prover
2014-08-12 03:57:52 +04:00
John Wiegley
83cf279452
Add an expression for building Coq HEAD
2014-08-08 18:11:00 -05:00
Vladimír Čunát
52d9c93abe
Merge 'staging' into master
2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618
Mark a bunch of packages as broken or not supported on Darwin
2014-08-08 17:59:02 +02:00
Peter Simons
9226fbf56a
Merge remote-tracking branch 'origin/master' into staging.
2014-08-08 09:51:01 +02:00
Peter Simons
09ea413e17
haskell-sloane: update to version 1.9.1
2014-08-07 12:41:55 +02:00
Peter Simons
2d326e5032
Merge remote-tracking branch 'origin/master' into staging.
...
Conflicts:
pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Peter Simons
d0ca8c237e
Fix broken license references.
2014-07-28 11:43:20 +02:00
Peter Simons
ad934ccc22
singular: cosmetic fix for syntax highlighting
2014-07-28 11:42:49 +02:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/applications/audio/espeak/edit.nix
pkgs/applications/audio/lmms/default.nix
pkgs/desktops/e18/enlightenment.nix
pkgs/games/exult/default.nix
pkgs/os-specific/linux/alsa-plugins/default.nix
2014-07-28 11:30:49 +02:00
Eelco Dolstra
6f11a6681d
arb: Mark as broken
2014-07-22 15:12:21 +02:00
Eelco Dolstra
4f7289eec9
Don't use ensureDir
2014-07-22 11:01:32 +02:00
Eelco Dolstra
b9d19af3e6
Merge remote-tracking branch 'origin/master' into staging
2014-07-15 12:14:35 +02:00
Peter Simons
5bfb58a8a2
Re-generate Haskell packages with cabal2nix.
2014-07-14 17:33:52 +02:00
Eelco Dolstra
95b828de42
Merge remote-tracking branch 'origin/master' into staging
2014-07-07 13:16:26 +02:00
Michael Raskin
01d9778625
Update boinc
2014-07-04 22:18:49 +04:00
Peter Simons
0d414a9399
haskell-sloane: update to version 1.8.2
2014-07-04 11:45:43 +02:00
Eelco Dolstra
06fc1ec34d
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
Eelco Dolstra
40f7b0f9df
Another attempt to eradicate ensureDir
...
See c556a6ea46
2014-06-30 14:56:10 +02:00
Benno Fünfstück
e10001042d
fetchbzr, fetchdarcs, fetchhg: use rev attr
...
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
2014-06-28 21:06:10 +02:00
John Wiegley
34de04149e
twelf: Fix the source URL
2014-06-27 10:46:24 -07:00
John Wiegley
ad96cc8bf9
twelf: new expression; prover for PL theory and logic
2014-06-26 15:54:45 -07:00
Peter Simons
1380b62fdb
haskell-sloane: update to version 1.8
2014-06-13 15:41:25 +02:00
Austin Seipp
fe9133d522
verifast: 14.5, x86_64 linux only
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-10 16:38:45 -05:00
John Wiegley
c6261157f8
prooftree: new expression 0.12
2014-06-08 05:35:49 +00:00
Bjørn Forsman
61b79d2eee
pulseview: new package
...
PulseView is a Qt-based LA/scope/MSO GUI for sigrok (a signal analysis
software suite).
http://sigrok.org/
2014-05-31 15:49:13 +02:00
Vladimír Čunát
8e9ead8656
berlios.de probably shut down, replace it
...
The shutdown was announced years ago, only now it stopped working.
2014-05-18 13:30:27 +02:00
Austin Seipp
3c8e1a9e47
Merge pull request #2680 from ellis/libR.so
...
R: install lib/libR.so for use by other programs such as RStudio
2014-05-17 16:41:42 -05:00
Austin Seipp
453f93cc92
Merge pull request #2514 from jwiegley/coq
...
Make Coq buildable on any Unix
2014-05-17 14:49:57 -05:00
Ellis Whitehead
a257d14925
R: install lib/libR.so for use by other programs such as RStudio
2014-05-17 21:35:02 +02:00
Austin Seipp
552db25e7f
nixpkgs: add abc version 040509
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:09 -05:00
Russell O'Connor
5bbcebf2db
Bump coq version to 8.4pl4.
2014-05-12 22:17:00 -04:00
Peter Simons
c61d607340
tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' attribute
2014-05-07 23:11:51 +02:00
John Wiegley
0a6b317071
Make Coq buildable on any Unix
2014-05-05 00:58:23 -05:00
Peter Simons
ef05fad51a
R: don't restrict meta.platforms to Linux; other architectures should build fine
2014-05-04 22:04:44 +02:00
Peter Simons
a9258080b1
R: don't install the "recommended packages"
...
These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.
2014-05-04 21:12:34 +02:00
Michael Raskin
4c55ae8588
Update TPTP and make URL set robust to moving old versions to archive
2014-05-03 00:53:46 +04:00
Austin Seipp
7d58646b08
z3/verifast: update license
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Peter Simons
4700996bc7
haskell-sloane: update to version 1.7.1
2014-05-01 21:57:03 +02:00
Austin Seipp
6d52463bd3
nixpkgs: add alt-ergo 0.95.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd
nixpkgs: add ltl2ba 1.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Eelco Dolstra
fe4bc3cc80
Fix evaluation error
...
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Peter Simons
6c5d7a63ac
haskell-sloane: update to version 1.7
2014-04-29 01:35:45 +02:00
