Commit Graph

502 Commits

Author SHA1 Message Date
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
John Wiegley
686fa594ab coq_HEAD: update to latest Git HEAD 2014-08-26 16:36:50 -05:00
Bjørn Forsman
c9baba9212 Fix many package descriptions
(My OCD kicked in today...)

Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.

I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.

I've tried to stay away from generated expressions (and I think I
succeeded).

Some specifics worth mentioning:
 * cron, has "Vixie Cron" in its description. The "Vixie" part is not
   mentioned anywhere else. I kept it in a parenthesis at the end of the
   description.

 * ctags description started with "Exuberant Ctags ...", and the
   "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
   at the end of description.

 * nix has the description "The Nix Deployment System". Since that
   doesn't really say much what it is/does (especially after removing
   the package name!), I changed that to "Powerful package manager that
   makes package management reliable and reproducible" (borrowed from
   nixos.org).

 * Tons of "GNU Foo, Foo is a [the important bits]" descriptions
   is changed to just [the important bits]. If the package name doesn't
   contain GNU I don't think it's needed to say it in the description
   either.
2014-08-24 22:31:37 +02:00
Eelco Dolstra
ce6b86cc68 Fix various evaluation problems
http://hydra.nixos.org/build/13616685
2014-08-22 11:57:40 +02:00
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