Peter Simons
|
f0e9b680e8
|
Re-generate Haskell packages with cabal2nix.
|
2014-10-03 20:02:00 +02:00 |
|
Mateusz Kowalczyk
|
3d26ea99dc
|
Merge pull request #4342 from vbgl/camlp5-6.12
Camlp5: update to 6.12; hol-light: update to r199
|
2014-10-03 18:36:06 +01:00 |
|
Peter Simons
|
d28b75564c
|
Merge pull request #4334 from aaronlevin/wai-util
Add haskell package wai-util to nixpkgs
|
2014-10-03 19:16:38 +02:00 |
|
Peter Simons
|
5e62bd5343
|
Merge pull request #4272 from edwtjo/ihaskell
ihaskell: added package
|
2014-10-03 19:12:08 +02:00 |
|
Domen Kožar
|
b9eda15dc0
|
telepathy-qt: specify platforms
|
2014-10-03 15:27:13 +02:00 |
|
Edward Tjörnhammar
|
6becaca7b3
|
ihaskell: added package
|
2014-10-02 20:53:55 +02:00 |
|
Edward Tjörnhammar
|
949b80a229
|
system-argv0: added package
|
2014-10-02 20:53:55 +02:00 |
|
Edward Tjörnhammar
|
bf885a8d87
|
ghc-parser: added package
|
2014-10-02 20:53:55 +02:00 |
|
Edward Tjörnhammar
|
5765ce1b2d
|
here: added package
|
2014-10-02 20:53:55 +02:00 |
|
Michael Raskin
|
907af9e9e6
|
Merge pull request #3963 from christopherpoole/geant4
Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
|
2014-10-02 22:42:15 +04:00 |
|
Joachim Fasting
|
72d7f73a64
|
webkitgtk: bump to version 2.4.6
|
2014-10-02 18:37:10 +02:00 |
|
Sander van der Burg
|
470007e7e1
|
Make path to Xcode configurable
|
2014-10-02 15:49:33 +02:00 |
|
Domen Kožar
|
1b929642ea
|
telepathy: 0.5.3 -> 0.8.80
|
2014-10-02 11:14:38 +02:00 |
|
Mateusz Kowalczyk
|
2e51b2e18a
|
agda-base: new package
|
2014-10-02 09:49:42 +01:00 |
|
Boris Sukholitko
|
0d41386f48
|
haskell: add blank-canvas package
Closes #4356
|
2014-10-02 06:47:52 +01:00 |
|
Boris Sukholitko
|
f806977d78
|
haskell: add kansas-comet package
Closes #4356
|
2014-10-02 06:47:47 +01:00 |
|
Emery Hemingway
|
7a610e8b67
|
assimp: initial package expression for version 3.1.1
Open Asset Import Library is a library for importing 3D models in
various formats
Closes #4352
|
2014-10-02 06:45:17 +01:00 |
|
Mateusz Kowalczyk
|
fa910f2f74
|
giflib: default to 5.0.5
5.1.0 apparenlty breaks a bunch of stuff, see comments on
61f8cee6ce
|
2014-10-02 06:24:51 +01:00 |
|
Austin Seipp
|
5f7d5c09f3
|
Merge pull request #4298 from daogames/tb/elixir-mix-curl-fix
elixir: make curl available to mix
|
2014-10-01 18:54:24 -05:00 |
|
Luca Bruno
|
e707530751
|
giflib: add back the 5.0 version
Should fix tracker and may be used to fix
other packages after commit 61f8cee .
Untested as it takes too much time to recompile
everything these days.
|
2014-10-02 01:41:35 +02:00 |
|
viric
|
63bacb79b1
|
Merge pull request #4361 from bbenoist/feature/INFO-34
vtk: Update from 5.10.0 to 5.10.1
|
2014-10-01 23:39:24 +02:00 |
|
Tino Breddin
|
4ef1099310
|
fix double slash in mix binary path
|
2014-10-01 20:27:55 +02:00 |
|
Vincent Laporte
|
01c6d8569f
|
coq-containers: package is broken
|
2014-10-01 18:39:31 +01:00 |
|
wyvie
|
83fc5069f4
|
lua: Fixed luasql.patch
Closes #4344
|
2014-10-01 06:00:06 +01:00 |
|
John Wiegley
|
10e215a3ae
|
isabelle: Version 2014 building on Linux and Darwin
|
2014-09-30 23:15:31 -05:00 |
|
Ricardo M. Correia
|
272c44f1a5
|
rustcMaster: Fix test_override_env and enable tests
We also need to disable parallel building due to rust-lang/rust#16305.
Closes #4339
|
2014-10-01 02:34:25 +01:00 |
|
Vincent Laporte
|
a6af1e96de
|
Updates camlp5 6.11 -> 6.12
|
2014-10-01 00:44:15 +01:00 |
|
Aristid Breitkreuz
|
5af769fd4e
|
update libwebp to fix giflib incompatibility
|
2014-09-30 21:37:56 +02:00 |
|
aaron levin
|
6f8c06c9fa
|
Add haskell package wai-util to nixpkgs
|
2014-09-30 11:36:07 -04:00 |
|
Mateusz Kowalczyk
|
ce4ae2aa1e
|
Merge pull request #4305 from vbgl/coq-containers
Working with Coq
|
2014-09-30 15:04:30 +01:00 |
|
Pascal Wittmann
|
02e29e2eb1
|
Merge pull request #4274 from DamienCassou/pharo-vm-update
Update Pharo VM
|
2014-09-30 13:42:45 +02:00 |
|
Damien Cassou
|
96098f0bc3
|
Update Pharo VM
- use latest upstream release
- remove all patches as they are now applied upstream
|
2014-09-30 13:31:57 +02:00 |
|
Pascal Wittmann
|
156d92cfd1
|
giflib: fixed evaluation
|
2014-09-30 12:33:52 +02:00 |
|
Mateusz Kowalczyk
|
7b3cef8eac
|
babeltrace: update from 1.2.1 to 1.2.3
cc @bjornfor
|
2014-09-30 11:19:11 +01:00 |
|
Mateusz Kowalczyk
|
76f07fbafc
|
ffmpeg-1: meta.branch
|
2014-09-30 11:13:43 +01:00 |
|
Mateusz Kowalczyk
|
0f485bd0db
|
ffmpeg_0_10: update from 0.10.14 to 0.10.15
cc @lovek323
|
2014-09-30 11:13:37 +01:00 |
|
Mateusz Kowalczyk
|
8efc0c592b
|
hunspell: update from 1.3.2 to 1.3.3
urkud is no longer active so I am hijacking maintainership label on this
cc @urkud
|
2014-09-30 11:07:59 +01:00 |
|
Mateusz Kowalczyk
|
85868c6b35
|
gmm: update from 3.0 to 4.3
If this breaks every R package ever, feel free to revert but consider
fixing the R packages instead.
|
2014-09-30 10:56:12 +01:00 |
|
Mateusz Kowalczyk
|
b186aa8f80
|
gettext-0.17: meta.branch
|
2014-09-30 10:56:12 +01:00 |
|
Mateusz Kowalczyk
|
7b4cd347ea
|
findbugs: update from 2.0.3 to 3.0.0, potentially fixes CVE-2012-5659, CVE-2012-5660
|
2014-09-30 10:56:11 +01:00 |
|
Mateusz Kowalczyk
|
d47a5cf574
|
ffms: update from 2.19 to 2.20
|
2014-09-30 10:56:10 +01:00 |
|
Mateusz Kowalczyk
|
61f8cee6ce
|
giflib: update from 5.0.5 to 5.1.0
|
2014-09-30 10:43:49 +01:00 |
|
Mateusz Kowalczyk
|
259aaa8103
|
gloox: update from 1.0.10 to 1.0.11
|
2014-09-30 10:36:37 +01:00 |
|
Mateusz Kowalczyk
|
c39a0b0659
|
glm: update from 0.9.5.1 to 0.9.5.3
|
2014-09-30 10:34:49 +01:00 |
|
Mateusz Kowalczyk
|
07e2be6c29
|
ffmpeg-0.6: branch info
|
2014-09-30 10:33:15 +01:00 |
|
Mateusz Kowalczyk
|
e6c207e5f2
|
enet: update from 1.3.9 to 1.3.12
|
2014-09-30 10:31:59 +01:00 |
|
Mateusz Kowalczyk
|
aafca4dd51
|
Add a few meta.branch to please monitor
|
2014-09-30 10:07:49 +01:00 |
|
Michel Kuhlmann
|
9357bb51fa
|
libLAS: initial expression
Closes #4233
|
2014-09-30 09:20:41 +01:00 |
|
Damien Cassou
|
daffd3c90c
|
New package: pharo launcher
http://pharo.org
Closes #4315
|
2014-09-30 08:01:13 +01:00 |
|
Mateusz Kowalczyk
|
11782ceb6d
|
Merge pull request #4323 from vbgl/ocaml-ipaddr-2.5.0
OCaml-ipaddr: update to 2.5.0
|
2014-09-30 07:54:06 +01:00 |
|