cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
50698 commits 1 branch 0 tags 3.7 GiB
Commit graph

13950 commits

Author SHA1 Message Date
Bjørn Forsman
61388880d8 lua-packages.nix: whitespace fixes 2014-10-12 21:06:20 +02:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation 
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
 2014-10-12 16:21:02 +02: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
Peter Simons
fa00a9bfdc haskell-packages.nix: remove if-then-else case distinctions by compiler version 
These decisions belong into haskell-defaults.nix.
 2014-10-12 16:17:08 +02:00
Longrin Wischnewski
6e7de2155b change md5sum to sha256sum for a few packages 2014-10-12 16:13:21 +02:00
Peter Simons
258a47fcc7 haskell-xmobar: update to version 0.22.1 2014-10-12 16:12:27 +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
Mateusz Kowalczyk
b0258a5d17 Merge pull request #4462 from VShell/discount 
discount: new package
 2014-10-12 12:37:50 +01:00
Edward Tjörnhammar
9701d58e28 xbmcPlugins.genesis: added package 
Closes #4482
 2014-10-12 12:35:09 +01:00
Arseniy Seroka
b8252a4494 apulse: add pkg 
Closes #4488
 2014-10-12 12:21:09 +01: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
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
Joachim Schiele
df95acd13c Merge pull request #3960 from flosse/prosody-service 
Prosody service
 2014-10-11 23:10:05 +02: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
Markus Kohlhase
d86c2c30c5 prosody: packaged as a service 
Conflicts:
	nixos/modules/misc/ids.nix
 2014-10-11 18:53:43 +02:00
Peter Simons
2dea014755 haskell-libmpd: remove obsolete version 0.8.0.5 2014-10-11 18:51:55 +02:00
Peter Simons
9bcb7a06f3 all-packages.nix: drop trailing whitespace 2014-10-11 18:38:06 +02:00
Aristid Breitkreuz
372f57cd33 xmobar needs mtl 2.2.1 and transformers 0.4 2014-10-11 18:38:06 +02:00
Aristid Breitkreuz
08ecd3ef40 icedtea7 requires giflib 5.0 2014-10-11 15:06:00 +02:00
Oliver Charles
7927e7cc53 haskellPackages.linuxInotify: New expression 2014-10-11 12:49:17 +01:00
Aristid Breitkreuz
49f03ff5e1 Merge pull request #4471 from vbgl/smplayer 
Updates SMPlayer to 14.9.0 and adds SMTube
 2014-10-11 13:18:55 +02: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
Vincent Laporte
8280d6522e smtube: new package 
SMTube allows to search, play and download Youtube videos.

Homepage: http://smplayer.sourceforge.net/smtube.php
 2014-10-11 10:56:00 +01: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
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
Shell Turner
e56a6c1bec discount: new package 2014-10-10 16:23:26 +01:00
Shell Turner
96fcc3437b libsieve: new package 2014-10-10 16:21:57 +01:00
Jaka Hudoklin
47e8ee287f golang: add golint and gotags 2014-10-10 15:27:44 +02:00
Nathaniel Baxter
309bfdd8a0 pysocks: Fix license typo 2014-10-10 10:42:19 +11:00
Austin Seipp
7ac2be3fab rainbowstream: 0.9.5 -> 1.1.6 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-10-09 17:23:37 -05:00
Austin Seipp
cf58933a9b pythonPackages: add pysocks 1.5.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-10-09 17:23:36 -05:00
Austin Seipp
a1dba856f1 pythonPackages.twitter: 0.14.3 -> 0.15.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-10-09 17:14:52 -05:00
Austin Seipp
27d95c25e8 pythonPackages.pyfiglet: 0.7.1 -> 0.7.2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-10-09 17:14:30 -05:00
codyopel
2986ca34d6 rtorrent-git: new package 2014-10-09 20:47:27 +02:00
Aristid Breitkreuz
bf1dd8e931 Merge pull request #4423 from FlorentBecker/svg2tikz 
new package: svg2tikz
 2014-10-09 20:39:06 +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
Georges Dubus
a172b4b1f8 Merge pull request #4436 from madjar/kde414 
Switch to kde 4.14 and remove 4.12
 2014-10-09 17:42:19 +02:00
Georges Dubus
205c550e54 Removed kde4_next, because kde 4.14 will be the last kde4 2014-10-09 16:36:40 +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
Georges Dubus
0295a6c483 Removed kde 4.12 2014-10-09 12:05:56 +02:00
Georges Dubus
0e3911e92b Made kde 4.14 the default kde 2014-10-09 12:00:12 +02:00
Georges Dubus
0ae81afd3f Removed akunambol 
It is not maintained anymore, and is not compatible with kde 4.14.
 2014-10-09 12:00:12 +02:00
Pascal Wittmann
68ae4ce95a Merge pull request #4431 from DamienCassou/astroid-1.2.1 
Astroid 1.2.1
 2014-10-09 11:50:10 +02:00