Peter Simons
4829fc216d
haskell-ekg: update to version 0.4.0.3
2014-10-13 09:12:21 +02:00
Peter Simons
4c1edd1934
haskell-ekg-core: update to version 0.1.0.2
2014-10-13 09:12:21 +02:00
Peter Simons
b80a6912a9
haskell-ekg-carbon: update to version 1.0.2
2014-10-13 09:12:21 +02:00
Peter Simons
f09c37e518
haskell-direct-sqlite: update to version 2.3.14
2014-10-13 09:12:21 +02:00
Peter Simons
b42a36e697
haskell-clock: update to version 0.4.1.3
2014-10-13 09:09:33 +02:00
Peter Simons
21e49f67b3
haskell-cereal: update to version 0.4.1.0
2014-10-13 09:09:33 +02:00
Peter Simons
b3a684e84f
haskell-cairo: update to version 0.13.0.3
2014-10-13 09:09:33 +02:00
Peter Simons
8a20c0a46b
haskell-acid-state: update to version 0.12.3
2014-10-13 09:09:33 +02:00
Peter Simons
442a32cbd2
haskell-NumInstances: update to version 1.4
2014-10-13 09:09:33 +02:00
Peter Simons
114abbf3d2
haskell-HaskellNet: update to version 0.4
2014-10-13 09:09:33 +02:00
Peter Simons
8f0a3ba14c
haskell-HaskellNet-SSL: update to version 0.2.5.1
2014-10-13 09:09:33 +02:00
Peter Simons
a3b1e5c91a
haskell-GLUtil: update to version 0.8.2
2014-10-13 09:09:33 +02:00
Peter Simons
e08054d1b6
haskell-Boolean: update to version 0.2.3
2014-10-13 09:09:33 +02:00
Peter Simons
b2a93071f6
haskell-epic: update to version 0.9.3.2
2014-10-13 09:09:33 +02:00
Peter Simons
2b9b1bcb27
haskell-aeson: update to version 0.8.0.1
2014-10-13 09:09:33 +02:00
Peter Simons
1907146ab9
Merge pull request #4501 from edwtjo/cmdtheline-patch
...
haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch
2014-10-12 21:55:36 +02:00
Edward Tjörnhammar
e485bfd213
haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch
2014-10-12 21:52:48 +02:00
taku0
7175fdcd71
oraclejdk: bump to 8u20
...
Closes #4492
2014-10-12 15:43:44 +01:00
Vincent Laporte
af7cb557fb
libantlr3c: new derivation
...
libantlr3c is the C runtime library of ANTLR v3
Homepage: http://www.antlr3.org/
2014-10-12 16:21:02 +02:00
Peter Simons
950adbe487
Merge pull request #4498 from robberer/remove/md5
...
change md5sum to sha256sum for a few packages
2014-10-12 16:20:10 +02:00
Longrin Wischnewski
6e7de2155b
change md5sum to sha256sum for a few packages
2014-10-12 16:13:21 +02:00
Aristid Breitkreuz
61ea009f3b
Merge pull request #4458 from offlinehacker/pkgs/gotools
...
golang: add golint and gotags
2014-10-12 15:57:45 +02:00
Longrin Wischnewski
51648727f5
arduino-core: bump version from 1.0.2 to 1.0.6
...
- replace fetchurl with fetchgit because googlecode is unmaintained
- remove unnecessary phases
- change license and maintainers
- tested with a few sketches and inotool
- change description according to "Contributors Guide"
change fetchgit to fetchFromgitHub
Closes #4449
2014-10-12 12:42:57 +01:00
Domen Kožar
37e1794425
Revert "xulrunner: update from 31.0 to 32.0"
...
This reverts commit 109547b902
.
Breaks on 32bit linux: http://hydra.nixos.org/eval/1154529#tabs-still-fail
2014-10-12 13:38:42 +02:00
Alastair Pharo
f522344285
Update pure to 0.62
...
Closes #4486
2014-10-12 12:08:29 +01:00
John Wiegley
7821d15299
coqPackages.domains: new expression
2014-10-11 22:01:46 -05:00
John Wiegley
f300c68977
coqPackages.ynot: remove broken tag
2014-10-11 19:32:16 -05:00
John Wiegley
904bee0c46
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
2014-10-11 17:24:59 -05:00
Peter Simons
0a259ea888
Merge pull request #4461 from VShell/libsieve
...
libsieve: new package
2014-10-11 23:44:34 +02:00
John Wiegley
382badfefb
coqPackages.bedrock: new expression
2014-10-11 16:22:15 -05:00
John Wiegley
814961f37a
coqPackages.tlc: new expression
2014-10-11 13:29:45 -05:00
Domen Kožar
482779e582
python: get rid of ssl module as it's always builtin
2014-10-11 20:23:51 +02:00
John Wiegley
f310d73ac1
coqPackages.containers: set broken to false
2014-10-11 13:02:22 -05:00
John Wiegley
a064080d8c
coqPackages.containers: correct sha256 for the tarball
2014-10-11 13:00:22 -05:00
Moritz Ulrich
b76e8417b3
xapian: update from 1.2.8 to 1.3.1
2014-10-11 19:29:58 +02:00
Peter Simons
2dea014755
haskell-libmpd: remove obsolete version 0.8.0.5
2014-10-11 18:51:55 +02:00
Oliver Charles
7927e7cc53
haskellPackages.linuxInotify: New expression
2014-10-11 12:49:17 +01:00
Aristid Breitkreuz
18bf16843a
Merge pull request #4467 from vbgl/ocaml
...
Adds three OCaml libraries: reactiveData, PG’OCaml and MaCaQue
2014-10-11 12:58:21 +02:00
Aristid Breitkreuz
650940185b
Update giflib to 5.1 properly, by using 5.1.nix rather than 5.0.nix
2014-10-11 11:10:56 +02:00
Cray Elliott
d02abd38be
Update libgdiplus' giflib patch to work with 5.1.0
...
closes issue #4469
2014-10-11 11:08:13 +02:00
Aristid Breitkreuz
073659ae94
Revert "pcre: update from 8.35 to 8.36" - that's a job for staging
...
This reverts commit b5f1e0eb08
.
2014-10-11 11:06:29 +02:00
Moritz Ulrich
109547b902
xulrunner: update from 31.0 to 32.0
2014-10-11 01:57:57 +02:00
Moritz Ulrich
b5f1e0eb08
pcre: update from 8.35 to 8.36
2014-10-11 01:57:57 +02:00
Moritz Ulrich
0740a1b78a
libdvdcss: update from 1.2.13 to 1.3.0
2014-10-11 01:57:57 +02:00
Moritz Ulrich
029496723d
http-parser: update from 2.2.1 to 2.3
2014-10-11 01:57:57 +02:00
Moritz Ulrich
b088597ccf
giflib: update from 5.0.5 to 5.1.0
2014-10-11 01:57:57 +02:00
Vincent Laporte
8320bbaaa3
ocaml-macaque: new package
...
MaCaQue (or macaque) is a DSL for SQL Queries in Caml.
Homepage: https://github.com/ocsigen/macaque
2014-10-11 00:54:35 +01:00
Vincent Laporte
33bba5f0b3
ocaml-pgocaml: new package
...
PG'OCaml provides an interface to PostgreSQL databases for OCaml
applications.
Homepage: http://pgocaml.forge.ocamlcore.org/
2014-10-11 00:49:50 +01:00
Vincent Laporte
cdf3dc2793
ocaml-reactivedata: new package
...
reactiveData is an OCaml module for functional reactive programming
(FRP) based on React.
Homepage: https://github.com/hhugo/reactiveData
2014-10-11 00:49:34 +01:00
Aristid Breitkreuz
26dd5dd6a4
Merge pull request #4460 from vbgl/zarith
...
zarith: update from 1.2.1 to 1.3
2014-10-10 22:51:08 +02:00