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
Vincent Laporte
3c45c8d53e
yasm: update from 1.2.0 to 1.3.0
2014-10-10 22:43:58 +02:00
Ricardo M. Correia
922b658433
Merge pull request #4401 from jagajaga/update_rust
...
update rust
2014-10-10 18:49:36 +02:00
Vincent Laporte
977f172fee
ocaml-lablgl: adds missing dependency to camlp4
2014-10-10 17:00:30 +01:00
Vincent Laporte
35c92ec1ac
ocaml-http: adds missing dependency to camlp4
2014-10-10 17:00:30 +01:00
Vincent Laporte
4f0bc8e060
ocaml-oasis: adds missing dependency to caml4
2014-10-10 17:00:30 +01:00
Vincent Laporte
7bfe6144c6
ocaml-data-notation: adds missing dependency to camlp4
2014-10-10 17:00:29 +01:00
Shell Turner
96fcc3437b
libsieve: new package
2014-10-10 16:21:57 +01:00
Lluís Batlle i Rossell
bd19f65ebf
Making A/V disabled in tox for ARM.
2014-10-10 17:12:51 +02:00
Lluís Batlle i Rossell
704fc40bd8
Fix ARM/Arm typo.
2014-10-10 17:12:50 +02:00
Lluís Batlle i Rossell
372b0cda52
Making spidermonkey_185 build on ARM, and so also polkit.
2014-10-10 17:12:49 +02:00
Lluís Batlle i Rossell
eb21ef2bc7
Updating go from 1.3.2 to 1.3.3.
2014-10-10 17:07:16 +02:00
Vincent Laporte
d99ea69225
zarith: update from 1.2.1 to 1.3
2014-10-10 14:47:33 +01:00
Austin Seipp
849bfc88f5
concurrencykit: 0.4.3 -> 0.4.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:10:58 -05:00
Austin Seipp
c98592f200
re2c: 0.13.7.4 -> 0.13.7.5
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:08:28 -05:00
Arseniy Seroka
762480b334
update rustc
2014-10-10 00:04:18 +04:00
Aristid Breitkreuz
ab1f89a161
Merge pull request #4439 from DamienCassou/pharo-vm-with-cairo
...
pharo-vm: Add dependency to cairo
2014-10-09 20:36:00 +02:00
Aristid Breitkreuz
78b8a7794c
Merge pull request #4443 from flazz/master
...
jq & thrift build on darwin
2014-10-09 20:35:41 +02:00
Aristid Breitkreuz
afe8b54b49
Merge pull request #4381 from khumba/claws-mail
...
New packages: claws-mail-3.10.1, libetpan-1.5.
2014-10-09 20:31:01 +02:00
Aristid Breitkreuz
85f1889466
asio: update from 1.10.2 to 1.10.4
2014-10-09 20:17:24 +02:00
Francesco Lazzarino
9db29d7e5b
jq builds on darwin
2014-10-09 12:00:34 -05:00
Francesco Lazzarino
b007ae3d08
thrift builds on darwin
2014-10-09 11:57:18 -05:00
Damien Cassou
a365f5080a
pharo-vm: Add dependency to cairo
2014-10-09 16:56:54 +02:00
Pascal Wittmann
13048b252f
Merge pull request #4426 from ollieh/master
...
Added granite and pantheon-terminal
2014-10-09 12:39:09 +02:00
Oliver Hunt
6f64a7cf43
Added granite
...
Added meta details, changed hash to sha256, and added versions for granite
Changed name to use versions
Fixed license
Yet another typo fix
Added myself as maintainer and fixed typo
Fixed maintainers
Added pantheon terminal
woops
2014-10-09 01:55:27 +02:00