public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
91,203 Commits 1 Branch 0 Tags
Commit Graph

3591 Commits

Author SHA1 Message Date
Aristid Breitkreuz
8059a25ba9 Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan 
dylan: Remove old gwydion-dylan package.
 2014-09-14 22:28:35 +02:00
Ricardo M. Correia
7068828389 rustcMaster: Update to a more recent commit 2014-09-14 04:54:33 +02:00
Peter Simons
686ea115a9 idris: broken by recent Haskell updates 
http://hydra.cryp.to/build/190927/nixlog/1/raw
 2014-09-14 00:06:43 +02:00
Peter Simons
3f2c6833ac idris: remove unnecessary jailbreak 2014-09-14 00:06:42 +02:00
Vincent Laporte
829c49a686 Adds mezzo 
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.

Homepage: http://protz.github.io/mezzo/
 2014-09-13 12:26:07 +02:00
Bruce Mitchener
5e367ec9d7 dylan: Remove old gwydion-dylan package. 
The Gywdion Dylan compiler that was packaged here is old and this
package no longer builds. The Gwydion Dylan compiler is no longer
maintained, and has been replaced by the Open Dylan compiler which
is already packaged in Nix (opendylan).
 2014-09-12 12:27:58 +07:00
Mateusz Kowalczyk
d50c0e75b8 agda: fix license 2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk
ee31679bad agda-stdlib: make expression nicer, fix license 2014-09-11 20:35:56 +01:00
Rob Vermaas
a904585789 scala: update from 2.11.0 to 2.11.1 2014-09-11 13:32:33 +02:00
Joel Taylor
fa9b1f9cda build nix head successfully 2014-09-09 13:54:57 -07:00
Eric Seidel
0577499d74 fix some packages on darwin 2014-09-09 13:54:26 -07:00
Joel Taylor
7da056233f wip libc++ 2014-09-09 13:54:25 -07:00
Joel Taylor
3e8344d334 suitable clang stdenv 2014-09-09 13:54:24 -07:00
Eelco Dolstra
585983bc95 Merge remote-tracking branch 'origin/staging' 
Conflicts:
	pkgs/applications/version-management/subversion/default.nix
 2014-09-08 11:42:09 +02:00
Vladimír Čunát
06fea81c6e Merge recent master into staging 
Hydra: ?compare=1150594
 2014-09-06 16:52:45 +02:00
Robert M. Mather
98a4675581 Ur/Web compiler: new release, 20140531 -> 20140830 2014-09-06 11:05:10 +02:00
Domen Kožar
f9ba413b55 fix eval 2014-09-05 00:06:11 +02:00
Michael Raskin
014f7ad100 Merge pull request #3955 from paulkoerbitz/master 
Update oraclejdk-7 patch version from 65 to 67
 2014-09-04 20:20:01 +04:00
Peter Simons
0a6ad14395 haskell-idris: update to version 0.9.14.3 2014-09-04 14:41:09 +02:00
Michael Raskin
a517dfcf71 Fix ACL2 2014-09-04 14:41:35 +04:00
Peter Simons
ca931e0e1e Merge pull request #3915 from Fuuzetsu/agda-builder 
RFC: Agda builder
 2014-09-04 11:28:47 +02:00
Paul Koerbitz
b8a88ce472 Update oraclejdk-7 patch version from 65 to 67 2014-09-03 21:30:31 +02:00
Ricardo M. Correia
e552fbf521 gcc/gcj: Update antlr dep to 4.4 
Version 3.1.3 is no longer available for download.
 2014-09-03 14:04:52 +02:00
Peter Simons
1c0d15b90e Merge branch 'origin/master' into staging. 
Conflicts:
	pkgs/development/libraries/ffmpeg/2.x.nix
	pkgs/development/libraries/serf/default.nix
 2014-09-02 12:31:03 +02:00
Michael Raskin
24b4105ed7 Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as bootstrap compiler 2014-09-01 08:56:37 +04:00
Mateusz Kowalczyk
61c17e326f Use agda builder for stdlib. mv to all-packages 2014-09-01 01:38:01 +01:00
Michael Raskin
2406a89219 Update FPC to 2.6.4 2014-08-31 22:47:55 +04:00
Michael Raskin
6b962e6e9e Update FPC binary expression 2014-08-31 22:47:55 +04:00
Mateusz Kowalczyk
b1e388cefb agda-stdlib: update to 0.8.1 
This is necessary after the Agda-2.4.2 bump
 2014-08-31 19:26:05 +01:00
Peter Simons
6ea21ad737 haskell-Agda: update to version 2.4.2 
I had to disable the Haddock phase because of lots of errors:

  http://hydra.cryp.to/build/181564/nixlog/1/raw
 2014-08-31 18:17:01 +02:00
Peter Simons
c04507ea3e haskell-idris: update to version 0.9.14.2 2014-08-31 18:17:00 +02:00
Michael Raskin
5fc69283f5 Update SBCL 2014-08-31 18:20:07 +04:00
Vladimír Čunát
8da52a642a Merge branch 'staging' into v/modular 
Conflicts (easy):
	pkgs/development/interpreters/perl/5.10/setup-hook.sh
	pkgs/development/interpreters/perl/5.8/setup-hook.sh
	pkgs/development/libraries/gtk+/2.x.nix
 2014-08-31 12:23:18 +02:00
Vladimír Čunát
b8c7091335 gcc: fixup references. ToDo: port to gcc-4.9 2014-08-30 15:54:07 +02:00
Vladimír Čunát
e51f73652d Merge recent master into staging 
Hydra: ?compare=1149952

Conflicts:
	nixos/doc/manual/configuration.xml (changed split file)
	nixos/modules/config/users-groups.nix (choosing filterNull instead of inline definition)
	pkgs/development/libraries/readline/readline6.3.nix (auto-solved)
 2014-08-30 10:04:02 +02:00
Vladimír Čunát
031baae714 Merge branch 'staging' into v/modular 
Conflicts (as in p/modular-stdenv):
	pkgs/stdenv/linux/default.nix
 2014-08-30 08:33:10 +02:00
Vladimír Čunát
a70180ba73 mutiout: make it builtin 2014-08-30 08:27:43 +02:00
Shea Levy
ceb367a8a2 ats2: Bump 2014-08-29 16:13:48 -04:00
Gergely Risko
dd3f3bdcc2 GCC >= 4.8 doesn't depend on ppl 2014-08-29 11:45:22 +02:00
Michael Raskin
f25709c48a List NCSA license properly 2014-08-29 01:14:10 +04:00
Michael Raskin
55cc5736a9 Merge pull request #3255 from bosu/emscripten2 
Add emscripten: LLVM to JavaScript compiler (take 2)
 2014-08-29 01:04:26 +04:00
Shea Levy
013aedffea ats2: bump 2014-08-27 22:51:27 -04:00
Ryan Trinkle
4394858433 Integrate ghcjs 
Use nixpkgs.haskellPackages_ghcjs to build packages with ghcjs.
 2014-08-26 13:35:29 -04:00
Vladimír Čunát
4dccb224c5 WIP2 2014-08-26 01:10:56 +02:00
Vladimír Čunát
3ec413cece WIP 2014-08-25 15:30:46 +02:00
Vladimír Čunát
77da5efc78 merge the rest of multiple-outputs 
Conflicts:
	pkgs/development/libraries/glibc/2.19/builder.sh (previous merge taken)
	pkgs/development/tools/misc/patchelf/default.nix (easy)
	pkgs/stdenv/generic/setup.sh (previous merge taken)
 2014-08-25 10:41:49 +02:00
Vladimír Čunát
c96f4d7949 gcc, glibc: merge changes from original multiple-output 
Can't be done automatically because of file copies/moves.
 2014-08-25 10:29:54 +02: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
2d6d43c02c Fix tarball build 2014-08-24 18:52:50 +02:00
Domen Kožar
fc5f6e4e79 tarball fixes 2014-08-24 16:02:57 +02:00