Jaka Hudoklin
dd0758ab6b
Merge pull request #4392 from cstrahan/logstash
...
logstash service improvements
2014-10-12 23:02:52 +02:00
Jaka Hudoklin
42da129d34
Merge pull request #4456 from robberer/pkgs/fritzing
...
fritzing: add version 0.9.0b
2014-10-12 22:58:45 +02:00
Jaka Hudoklin
ed53f57c9f
Merge pull request #4475 from matejc/megaglest
...
megaglest: new package
2014-10-12 22:57:56 +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
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
Matej Cotman
6d7de06a9a
megaglest: new package
2014-10-11 18:56:15 +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
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
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
Longrin Wischnewski
56a2f589b8
fritzing: add version 0.9.0b
...
- An open source prototyping tool for Arduino-based projects
2014-10-10 12:43:39 +02: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
M Knight
ab17c2b8f5
Add MKRAND
2014-10-08 20:03:09 -05: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
Georges Dubus
8441d45055
Merge pull request #4420 from flazz/master
...
new: gist – cli for gist.github.com
2014-10-08 17:39:58 +02:00
Francesco Lazzarino
672654f9e9
new: gist – cli for gist.github.com
2014-10-08 07:31:36 -05:00
Florent Becker
ced9fd1310
new package: svg2tikz
2014-10-08 11:59:25 +02:00
William A. Kennington III
ee8a97a25e
corosync: Add package
2014-10-08 01:46:23 -07:00
William A. Kennington III
2ae3cc7ef4
libstatgrab: Add package
2014-10-08 01:27:26 -07:00
William A. Kennington III
ed76e77806
librdmacm: Add package
2014-10-08 01:27:26 -07:00
