Domen Kožar
bbf3a18746
Revert "tagainijisho: new derivation"
...
This reverts commit d62b63d319
.
Fails to download dependencies. See http://hydra.nixos.org/build/15845724
2014-10-13 21:29:18 +02:00
Michael Raskin
53a5b67d5e
Adding mailsend tool
2014-10-13 18:18:34 +04:00
Michael Raskin
dfae2a0e4b
Merge pull request #4503 from vbgl/tagaini
...
Adds Tagaini Jisho
2014-10-13 17:52:55 +04:00
Michael Raskin
2ef0a17561
Merge pull request #4387 from 1126/refactor-stumpwm
...
stumpwm: update and refactoring
2014-10-13 17:50:46 +04:00
Peter Simons
d5570b082d
Merge pull request #4408 from christopherpoole/dlib
...
Added the dlib machine learning library.
2014-10-13 12:52:26 +02:00
Peter Simons
2cdd7d71c1
Merge pull request #4407 from christopherpoole/gdcm
...
Added the grassroots DICOM library.
2014-10-13 12:51:50 +02:00
Vincent Laporte
d62b63d319
tagainijisho: new derivation
...
Tagaini Jisho is a free, open-source Japanese dictionary and kanji
lookup tool that aims at becoming your Japanese study assistant.
Homepage: http://www.tagaini.net/
2014-10-13 02:55:35 +01:00
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