Commit graph

21068 commits

Author SHA1 Message Date
Edward Tjörnhammar 7102ef5d49 Revert "nixpkgs: remove tsocks"
torsocks and tsocks are not equivalent. torsocks needs a
tor proxy for DNS, tsocks do not.

This reverts commit 1ef6470f15.

tsocks: adding myself as maintainer
2014-12-08 11:51:22 +01:00
Vincent Laporte 6a69a25c56 Adds coq-interval
This library provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers
for the Coq proof assistant.

Homepage: http://coq-interval.gforge.inria.fr/
2014-12-08 09:15:13 +01:00
Peter Simons 774b0fc028 haskell-hackage-db: update to version 1.9.1 2014-12-07 16:31:56 +01:00
Bjørn Forsman 28d98c701b hidapi: add a comment on the license
hidapi allows the user to chose between GPLv3, BSD or HIDAPI license
(more liberal).
2014-12-07 16:15:52 +01:00
Bjørn Forsman c970104135 hidapi: update/fix description
Description should start with capital letter.
2014-12-07 16:14:07 +01:00
Peter Simons 479602aae8 haskell-hackage-db: update to version 1.9 2014-12-07 15:31:43 +01:00
Vincent Laporte 7893825613 coq-flocq: license 2014-12-07 13:14:33 +01:00
Maciek Starzyk c77ae0ced7 urweb: updated to version 20141206 2014-12-06 23:35:51 +01:00
Peter Simons 0d9001e934 haskell-preprocessor-tools: remove obsolete version 0.1.3 2014-12-06 16:41:40 +01:00
Peter Simons e56b1610e7 haskell-ixdopp: remove obsolete package 2014-12-06 16:41:22 +01:00
Arseniy Seroka 6641f5d220 binary-strict: add haskell pkg 2014-12-06 18:34:23 +03:00
Arseniy Seroka 3cc8b15721 haskell: add pkg lin-alg 2014-12-06 18:24:30 +03:00
Bjørn Forsman 9e174b90c8 lttng-ust: update from 2.5.0 to 2.5.1 2014-12-06 15:22:44 +01:00
Bjørn Forsman b161910db1 lttng-tools: update from 2.5.0 to 2.5.2 2014-12-06 15:22:27 +01:00
Bjørn Forsman 7f25c8357b liburcu: update from 0.8.4 to 0.8.6 2014-12-06 15:21:55 +01:00
Austin Seipp 1ef6470f15 nixpkgs: remove tsocks
tsocks is old, and users should be using torsocks these days instead.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-06 05:00:26 -06:00
Peter Simons 85f5c1a1dd haskell-cabal2nix: update to version 1.72 2014-12-05 19:14:45 +01:00
Peter Simons efccab0cf2 Merge pull request #5232 from joachifm/haskell-mvc
haskell-packages: add mvc and mvc-updates
2014-12-05 18:53:02 +01:00
Peter Simons 6b45125f59 Merge pull request #5231 from luke-clifton/lc-linear-opengl
Haskell package: linear-opengl
2014-12-05 18:52:49 +01:00
Luke Clifton e9a24c96be Jailbreak fixed upstream. Bumping to 0.2.0.4 2014-12-05 22:52:35 +08:00
Jascha Geerds 0be4c3b484 libtoxcore: Disable tests 2014-12-05 15:04:17 +01:00
Joachim Fasting 0a9c590c8c haskell-mvc-updates: new expression 2014-12-05 14:25:50 +01:00
Joachim Fasting 757c39877b haskell-mvc: new expression 2014-12-05 14:25:50 +01:00
Luke Clifton d779ff5d5c Jailbreak 2014-12-05 16:17:03 +08:00
Luke Clifton 581fcc2ad2 Added linear-opengl 2014-12-05 16:08:39 +08:00
Michael Raskin b4084d4913 Just use old glm for LO, the rest of LO is not keen on using C++ git add -A 1 2014-12-05 10:51:40 +03:00
Austin Seipp 73651e6c01 Revert "rr: bump version, 64bit support"
This reverts commit 12a3db89ba.

The prior commit was broken a bit; rr will take a little more work to
support a 64bit build.
2014-12-04 17:49:33 -06:00
Arseniy Seroka e33a65aeca racer: nightlycompat 2014-12-05 02:32:01 +03:00
Austin Seipp 12a3db89ba rr: bump version, 64bit support
The git version of `rr` recently got 64bit support; bump version and
pick out a working git revision for the new builds.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-04 17:25:56 -06:00
William A. Kennington III aecdd1e0a4 tdb: 1.3.1 -> 1.3.3 2014-12-04 15:18:24 -08:00
William A. Kennington III 2fa60c3112 ldb: 1.1.17 -> 1.1.18 2014-12-04 15:18:24 -08:00
Peter Simons e51ece3a65 Merge pull request #5225 from jkarni/jkarni/monadIO
Add haskell monadIO package.
2014-12-04 22:36:49 +01:00
John Wiegley e5d92d45b7 coqPackages.coqeal: new expression 2014-12-04 14:15:30 -06:00
Julian K. Arni 1c55e474b9 Add haskell monadIO package. 2014-12-04 20:16:09 +01:00
Julian K. Arni f840b05fa1 Add haskell library parsec-extra. 2014-12-04 19:51:17 +01:00
lethalman 1b67655f07 Merge pull request #5220 from DamienCassou/pharo-vm-update
Update pharo vm
2014-12-04 16:53:29 +01:00
Damien Cassou 4be8f537b6 Update pharo vm 2014-12-04 16:41:20 +01:00
Peter Simons 1f49c1cef7 Mark R packages h2o, jvmr, and qtbase as broken.
This also breaks dependent packages qtutils, qtpaint, and bamboo.
2014-12-04 15:00:54 +01:00
Peter Simons 7ee70a1644 R-defaults: add obsolete package temporarily 2014-12-04 14:45:09 +01:00
Domen Kožar fd500f1a92 fix eval 2014-12-04 14:30:18 +01:00
Domen Kožar bd85d3ea7d qt-gstreamer1: fix build 2014-12-04 14:27:09 +01:00
Domen Kožar 683740466a Merge pull request #5217 from geerds/tox
Tox: Update libtoxcore, qtox, utox and toxic
2014-12-04 14:12:49 +01:00
Bjørn Forsman f595a7eb58 srecord: update 1.63 -> 1.64
libgcrypt was an optional dependency in previous versions too, but in
this version the build fails unless libgcrypt is there, or
--without-gcrypt is passed to configure.

Since libgcrypt only increases the closure size from 131 MiB to 136 MiB,
I'm adding it as a dependency.

[1]: http://srecord.sourceforge.net/change_log.txt
2014-12-04 08:57:38 +01:00
John Wiegley aefdaaa098 haskellPackages.unboundGenerics: new expression 2014-12-04 00:19:29 -06:00
John Wiegley cded93d25d haskellPackages.hoopl: new expression 3.10.0.1 2014-12-03 22:33:13 -06:00
Shea Levy b02d059f5d nix-exec: bump 2014-12-03 22:23:47 -05:00
Jascha Geerds c57a4c2f78 Update libtoxcore and qtox to the newest dev version
As from now qtox depends on openalSoft instead of openal. This is due to
incompatibilities between those to two implementations. Anyway, this
should be okay because their official debian package depends on
openalSoft as well.
2014-12-04 02:29:56 +01:00
Cillian de Róiste 053d46f415 minixml: update from 2.8 to 2.9 2014-12-04 00:06:17 +01:00
Domen Kožar f058618019 folly: 12 -> 17, fix build 2014-12-03 23:12:32 +01:00
Domen Kožar c7028192c2 fix sloccount build 2014-12-03 22:11:56 +01:00