Commit Graph

2064 Commits

Author SHA1 Message Date
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
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
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
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
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
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
Michael Raskin
33ef69390b Fix Julia 0.3.0 build (for most purposes). Not making default yet because it is unclear if I missed something important. Failed to make it use external openblas and lapack correctly… 2014-08-24 00:24:55 +04:00
Vladimír Čunát
0df6ccb4b6 orc: disable tests on i686
The failing test doesn't even work in the commit that introduced it.
2014-08-23 15:17:06 +02:00
Michael Raskin
ff0582f185 Merge pull request #3649 from daogames/tb/update-golang
golang: bump to 1.3.1
2014-08-23 13:05:30 +04:00
Michael Raskin
e4f9e321ca Merge pull request #3069 from danielzinn/add_cuda_6
Allowing cuda to use its own thrust library
2014-08-23 11:13:20 +04:00
Eelco Dolstra
ce6b86cc68 Fix various evaluation problems
http://hydra.nixos.org/build/13616685
2014-08-22 11:57:40 +02:00
Michael Raskin
d2539c6ff5 Adding Julia 0.3.0: some progress, but doesn't work yet 2014-08-21 22:09:55 +04:00
Pascal Wittmann
bc7fe78d19 mit-scheme: update from 9.1.1 to 9.2 and remove broken tag
closes #3705
2014-08-21 19:40:53 +02:00
Vladimír Čunát
315b8ec8f6 orc: bugfix updates 2014-08-21 15:13:21 +02:00
Vladimír Čunát
d4e9fd2a90 Merge recent master into staging
Hydra: ?compare=1148749

Conflicts (easy):
	nixos/modules/virtualisation/containers.nix
2014-08-21 15:09:31 +02:00
Peter Simons
e910c8d6c9 Disable Hydra builds for broken Haskell packages.
The following packages are broken with GHC 7.8.3:

 - filesystem-conduit version 1.0.0.2
 - ghc-events-analyze version 0.2.0
 - haskelldb version 2.2.2
 - haskell-mpi version 1.2.1
 - haxr-th version 3000.5
 - hoauth version 0.3.5
 - holy-project version 0.1.1.0
 - hoogle version 4.2.32
 - hspread version 0.3.3
 - instant-generics version 0.4
 - ivor version 0.1.14.1
 - jmacro-rpc-happstack version 0.3
 - lambdacube-engine version 0.2.4
 - language-c-inline version 0.6.0.0
 - lockfree-queue version 0.2.3
 - monad-peel version 0.1.1
 - network-transport-tests version 0.1.0.1
 - poppler version 0.12.3
 - profiteur version 0.1.2.1
 - prolog-graph-lib version 0.2.0.1
 - semigroupoid-extras version 4.0
 - setlocale version 0.0.3
 - sized-types version 0.5.0
 - snaplet-postgresql-simple version 0.5
 - snap-loader-dynamic version 0.10.0.2
 - uhc git version 20120502
 - uniqueid version 0.1.1
 - unix-process-conduit version 0.2.2.3
 - vado version 0.0.1
 - vcsgui version 0.0.4
 - xml-html-conduit-lens version 0.3.2.0

The following packages depend on one of the broken ones above:

 - hoodle-builder version 0.3
 - hoodle-core version 0.14
 - hoodle-extra version 0.1
 - hoodle-parser version 0.3
 - hoodle-render version 0.4
 - hoodle-types version 0.3
 - hoodle version 0.3
 - kansas-lava version 0.2.4
 - liblastfm version 0.4.0.0
 - prolog-graph version 0.1.0.2
 - vacuum-cairo version 0.5
 - wcwidth version 0.0.2
2014-08-20 20:26:57 +02:00
Austin Seipp
d95ae1cc89 fsharp: 3.1.0 -> 3.1.1.25
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 02:03:18 -05:00
Austin Seipp
f1bc7b229d jhc: 0.8.1 -> 0.8.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 01:43:31 -05:00
Ryan Newton
56d15045fa Bump ghc-head to latest. 2014-08-19 23:47:58 +02:00
Ryan Newton
e59a29df13 manticore: Remove name from description 2014-08-19 10:27:20 -04:00
Ryan Newton
ff6057d686 Add parallel functional compiler, Manticore 2014-08-19 02:36:57 -04:00
Eelco Dolstra
a0c60b76ec gcc: Revive the no-sys-dirs patch
For now, we don't NATIVE_SYSTEM_HEADER_DIR because it breaks the
build. However, it points to Glibc in the Nix store (not /usr/include)
so it's kind of okay.
2014-08-18 17:20:37 +02:00
Tino Breddin
f513e383ef golang: bump to 1.3.1 2014-08-17 21:08:45 +02:00
Luca Bruno
b83aceaecb Merge branch 'master' into staging 2014-08-14 23:09:59 +02:00