Commit graph

14945 commits

Author SHA1 Message Date
Vincent Laporte
ef5c48326a Adds ocaml-fieldslib
This library defines a syntax extension for OCaml using Camlp4 that
can be used to define first class values representing record fields,
and additional routines, to get and set record fields, iterate and
fold over all fields of a record and create new record values.

Homepage: https://ocaml.janestreet.com/
2014-12-09 19:37:48 +01:00
Bjørn Forsman
1b396c7ae9 buildbot-slave: align attrname with pkgname
Keep old attrname (buildbotSlave) around for backward compatibility.
2014-12-09 19:14:03 +01:00
Domen Kožar
fe28966179 pyptlib: disable py3k and pypy 2014-12-09 13:23:18 +01:00
Domen Kožar
d7ab16aee4 remove cppnetlib, we already have cpp-netlib 2014-12-09 12:24:57 +01:00
lethalman
765eab6d5b Merge pull request #5269 from luke-clifton/lc-soundtouch
Added SoundTouch library
2014-12-09 10:25:26 +01:00
Luke Clifton
e62aa58f71 Added SoundTouch library 2014-12-09 17:15:30 +08:00
William A. Kennington III
a6f4c3624e kernel: Add 3.18 2014-12-08 23:18:04 -08:00
Alex Chapman
31b163b90b Add haskellPackages.ofx at version 0.4.0.0 2014-12-09 07:04:49 +11:00
Thomas Tuegel
d75485c945 Add fontconfig-ultimate-20141123 2014-12-08 10:55:23 -06:00
wmertens
24924e4fdf Merge pull request #5125 from nckx/eid-mw
Add eid-mw: authenticate & sign with Belgian eID identity cards
2014-12-08 16:40:54 +01:00
Domen Kožar
de99c9c955 Merge branch 'staging' 2014-12-08 16:28:45 +01:00
Luca Bruno
0b1d16cff2 vanubi: use Vala 0.26 2014-12-08 15:36:29 +01:00
Edward Tjörnhammar
3ce89ba002 srm: added package 2014-12-08 11:51:39 +01:00
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
Michael Raskin
06f4ddf962 Add suckless.org sinit for experiments 2014-12-08 09:12:14 +03:00
Pavan Rikhi
211c9ba7f5 Add the Dina font 2014-12-07 18:11:49 -05:00
Benno Fünfstück
90c7b16fcf firefox-wrapper: add gstreamer plugins for h264 video support
These plugins are required by firefox for the h264 support in HTML5 <video> tags.
2014-12-07 20:37:17 +01:00
Cillian de Róiste
0d4843a388 ingen: update from 5464 to 5490, use default boost, wrap python scripts 2014-12-07 15:39:45 +01:00
Domen Kožar
4aa3eec330 Merge branch 'master' into staging
Conflicts:
	pkgs/development/libraries/fontconfig/default.nix
2014-12-07 14:02:48 +01:00
Emery Hemingway
541ac07607 meters.lv2: initial package at 0.8.1 2014-12-06 14:20:58 -05:00
Bjørn Forsman
f85ad2d378 nfs-utils: align attrname with pkgname
nfsUtils => nfs-utils. Keep copy of old attribute for backward
compatibility.
2014-12-06 17:01:05 +01:00
Bjørn Forsman
748b335256 sqlite-interactive: align attrname with pkgname
sqliteInteractive => sqlite-interactive. Keep copy of old attribute for
backward compatibility.
2014-12-06 17:01:05 +01:00
Bjørn Forsman
289ec3b5aa html-tidy: align attrname with pkgname
htmlTidy => html-tidy. Keep copy of old attribute for backward
compatibility.
2014-12-06 17:01:05 +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
0ec7a55ec1 python-pycollada: update 0.4 -> 0.4.1
Build tested with freecad, the only dependee.
2014-12-06 16:13:15 +01:00
cillianderoiste
aeea41f5c8 Merge pull request #5244 from ftrvxmtrx/schismtracker
schismtracker: new package
2014-12-06 14:40:08 +00:00
Austin Seipp
d4dd59e74d nixpkgs: obfsproxy 0.2.2 -> 0.2.12
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-06 05:01:28 -06: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
Pascal Wittmann
47eabfabe2 Merge pull request #5239 from robberer/pkgs/mrtg
mrtg: add 2.17.4
2014-12-06 10:58:53 +01:00
Longrin Wischnewski
cf4318ad4e mrtg: add 2.17.4
- The Multi Router Traffic Grapher
- You have a router, you want to know what it does all day long?
- Then MRTG is for you. It will monitor SNMP network devices and draw
- pretty pictures showing how much traffic has passed through each interface.
2014-12-06 09:05:29 +01:00
Tobias Geerinckx-Rice
51ccf09ba2 Add duff: find duplicate files from the command line 2014-12-06 00:10:08 +01:00
Tobias Geerinckx-Rice
b7425f8fef Add eid-mw: authenticate & sign with Belgian eID identity cards 2014-12-05 23:15:44 +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
Vincent Laporte
9d9323b3a9 camlimages: fix dependency 2014-12-05 14:55:25 +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
Benno Fünfstück
effaa51680 firefox-wrapper: add missing gstreamer plugins
These GStreamer plugins are required for H264 <video> tag support in Firefox.
2014-12-05 14:22:51 +01:00
Pavan Rikhi
b79bf417f0 Add the Clearlooks-Phenix GTK3 Theme 2014-12-05 05:13:17 -05: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
Charles Strahan
aadb556e29 lastpass-cli: new package
This adds the official lastpass CLI, a utility for manipulating lastpass logins.
2014-12-04 18:23:25 -05:00
Arseniy Seroka
973e8ed171 Merge branch 'submit/vim-plugins-extra-file' of https://github.com/MarcWeber/nixpkgs into MarcWeber-submit/vim-plugins-extra-file 2014-12-05 01:43:18 +03: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