Commit graph

9283 commits

Author SHA1 Message Date
Dmitry V
3eef950762 seturgent: new package
Closes #4329
2014-09-30 09:53:52 +01:00
Michel Kuhlmann
9357bb51fa libLAS: initial expression
Closes #4233
2014-09-30 09:20:41 +01:00
Damien Cassou
daffd3c90c New package: pharo launcher
http://pharo.org

Closes #4315
2014-09-30 08:01:13 +01:00
AndersonTorres
46d74cae72 Kid3: New Package
Kid3 is a simple and powerful audio tag editor

Closes #4325
2014-09-30 07:55:25 +01:00
koral
7fca2693f5 New package: traceroute-2.0.20
Closes #4322
2014-09-30 07:53:08 +01:00
wyvie
d4b7910f80 Added more lua modules to lua-packages, added them as dependencies for
mudlet

Closes #4269
2014-09-30 07:42:19 +01:00
Daniel Peebles
58ea86bd87 Let’s compile the Mac OS X SecurityTool ourselves 2014-09-30 01:14:14 -04:00
Lluís Batlle i Rossell
93fd8fb3a5 Updating utox/libtoxcore to the latest, to fix utox build.
There was a test failing. I also renamed the attr uTox to utox, for the more
common lowercase in all-packages.
2014-09-29 10:24:36 +02:00
Lluís Batlle i Rossell
04b3932117 Adding qtox. Making libtoxcore propagate libvpx. 2014-09-29 10:24:35 +02:00
Mateusz Kowalczyk
8e876eb395 Merge pull request #4309 from abbradar/paprefs
added "paprefs" package, adopted pavucontrol
2014-09-28 22:50:55 +01:00
Shea Levy
d34cd13a31 Add nix-exec package 2014-09-28 15:24:38 -04:00
Nikolay Amiantov
0728fee205 paprefs: Add package 2014-09-28 21:49:05 +04:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte
c30c5f7cf3 Adds three coq libraries: containers, mathcomp, ssreflect
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
2014-09-28 14:03:15 +01:00
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +02:00
Mateusz Kowalczyk
714dc47696 agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
2014-09-28 02:21:21 +01:00
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
Cillian de Róiste
5276adc1b4 Tidy up #4283 and move freewheeling to APPLICATIONS 2014-09-27 12:52:30 +02:00
Raffael Mancini
f80e897add Merge branch 'master' of github.com:NixOS/nixpkgs 2014-09-27 12:09:48 +02:00
Mateusz Kowalczyk
d8f2c32bcf agda-aaron-stump-stdlib: new package 2014-09-27 04:25:26 +01:00
Mateusz Kowalczyk
d409ae809a agda-pretty: new package 2014-09-27 03:30:30 +01:00
Mateusz Kowalczyk
4ed56b013f agda-TotalParserCombinators: new package 2014-09-27 03:23:22 +01:00
Mateusz Kowalczyk
4d2a3933a4 agda-prelude: new package 2014-09-27 02:35:54 +01:00
Nathaniel Baxter
859918d235 vlc: Add ffmpeg version 2.3.x for vlc.
Vlc doesn't support libavcodec >= 56 yet, which means it needs an older
version of ffmpeg.

Closes #4286
2014-09-27 01:04:38 +01:00
Pascal Wittmann
3940aecc0d remove unused library libchamplain-0.6 2014-09-26 23:22:25 +02:00
Domen Kožar
428fdc879f pypy: 2.3 -> 2.4 2014-09-26 18:12:24 +02:00
Raffael Mancini
87dc6a2be6 Added Freewheeling
a live looping instrument for jack with MIDI support
revision r100 from subversion
2014-09-26 17:20:02 +02:00
William A. Kennington III
32aa544fb6 ceph: Add zfs support 2014-09-25 01:24:54 -07:00
ambrop7@gmail.com
0e8e45f3ab kde-4.14: Make it all build. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
f6fd3b7754 indilib: Add version 0.9.9. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
9c9f694853 Add non-legacy qt-gstreamer.
Only compile tested (needed by Artikulate in KDE 4.14).
2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
8fef5ed675 kde: Copy 4.12 to 4.14 as a base" 2014-09-24 23:48:38 +02:00
Ricardo M. Correia
614a99bd8e cargoSnapshot: Add package
Cargo downloads your Rust project's dependencies and builds your
project.

The cargoSnapshot derivation simply uses a binary build, because
it's not easy to build cargo from source yet.

In the future, it's expected that we'll also add a derivation for
building cargo from source.
2014-09-24 18:18:15 +02:00
Bjørn Forsman
b7672b0125 notify-osd: align attrname with package name
This package was added yesterday, so I don't think we need to keep the
old attribute around for backwards compatibility.
2014-09-24 18:09:40 +02:00
Jaka Hudoklin
8eed86fba9 add mfoc, Mifare Classic Offline Cracker 2014-09-24 11:20:47 +02:00
Pascal Wittmann
a4e66d77d9 Merge pull request #4241 from bodil/notify-osd
Added notify-osd package.
2014-09-24 10:17:33 +02:00
Pascal Wittmann
3b2ba0ae42 falcon: update to lastest git revision as the lastest release does not build 2014-09-23 23:52:18 +02:00
Mateusz Kowalczyk
f0a39395f1 Merge pull request #4223 from michelk/saga
Saga: Initial Expression
2014-09-23 22:38:57 +01:00
Mateusz Kowalczyk
f0dae64cf3 Merge pull request #4215 from vbgl/camlp4
Adds camlp4
2014-09-23 22:28:54 +01:00
Peter Simons
ed6d7c2234 darcs: link this binary statically to avoid run-time dependencies on GHC and friends 2014-09-23 23:27:19 +02:00
Bodil Stokke
1536c1cc0b Added notify-osd package. 2014-09-23 21:58:44 +01:00
Vincent Laporte
b9741719fa Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for
OCaml4.02)
2014-09-23 20:48:50 +01:00
Peter Simons
574c2dd3a0 Merge pull request #4226 from ts468/snapper
Add package: snapper
2014-09-23 19:19:07 +02:00
John Wiegley
b26da01082 ocamlPackages: pin at 4.01, since much breaks with 4.02 2014-09-23 09:47:56 -05:00
Thomas Strobel
48265fd181 Use Nix default version of boost library. 2014-09-23 15:46:06 +02:00
Domen Kožar
6e8056ada9 further improvements to buildLuaPackage 2014-09-23 13:56:46 +02:00
wyvie
124ccae2e8 Refactored to use callPackage right 2014-09-23 13:56:45 +02:00
wyvie
6bd2f75f1c Switched from import to callPackage 2014-09-23 13:56:45 +02:00
wyvie
5c4362ae5a Simplified lua-packages function arguments to look nicer in all-packages 2014-09-23 13:56:45 +02:00
wyvie
e6eb51496b Added luaPackages, moved lua sockets and lua filesystem to luaPackages, fixed mudlet deps 2014-09-23 13:56:45 +02:00
Eelco Dolstra
9126447710 Bring back Boost 1.55 for now 2014-09-23 11:58:03 +02:00
Thomas Strobel
1cd703f3a9 Add package: snapper
Snapper is a tool for Linux filesystem snapshot management, developed for OpenSuSE.
2014-09-23 11:46:56 +02:00
Domen Kožar
6e3114a8a3 k3d: 0.8.0.2 -> 0.8.03 2014-09-23 11:33:40 +02:00
Vincent Laporte
d274ee3f80 Adds camlp4
Camlp4 is a software system for writing extensible parsers for
programming languages.

Camlp4 was part of the official OCaml distribution until its version
4.01.0.

Homepage: https://github.com/ocaml/camlp4
2014-09-23 09:34:13 +01:00
Mathijs Kwik
eb1ed09b1d neoload: provide fake fontconfig file (fixes chroot builds) 2014-09-23 09:17:02 +02:00
Michael Raskin
6b21183afa Fix Ocaml version for MonotoneViz so that lablgtk woks 2014-09-23 10:04:45 +04:00
Mateusz Kowalczyk
bffbed3343 Merge pull request #4203 from k0ral/binwalk
Added binwalk package, and its dependency pyqtgraph.
2014-09-23 05:53:51 +01:00
Mateusz Kowalczyk
7fefb6f5c3 tibia: update to 10.55 2014-09-22 23:16:37 +01:00
Vincent Bernardoff
259bbdd5e4 Added OCaml release 4.02.0.
Closes #4197
2014-09-22 20:13:32 +01:00
Paul Koerbitz
c15b4e1ac1 Add gforth to development/compilers 2014-09-22 19:56:52 +02:00
Richard Barrell
dd57adfb7c Tidy: gparted and gsmartcontrol are not games. 2014-09-22 17:33:40 +01:00
Michel Kuhlmann
6516bf4dd0 new 'gis' hierachy and initial saga expression 2014-09-22 13:57:20 +02:00
Peter Simons
e81b9f4bd8 Merge pull request #4085 from wkennington/master.boost
Boost Updates
2014-09-22 13:53:34 +02:00
koral
47c2b205ae Added binwalk package, and its dependency pyqtgraph. 2014-09-22 12:44:41 +02:00
Edward Tjörnhammar
383f142858 libretro: added bsnes, fba, gambatte, genesis-plus-gx, prboom 2014-09-22 12:35:07 +02:00
William A. Kennington III
a1d6c60e2d mongodb: Fix build 2014-09-21 15:18:16 -07:00
William A. Kennington III
0f7c7279d2 libyamlcpp03: Remove old version 2014-09-21 15:18:16 -07:00
William A. Kennington III
f327e9c922 boostHeaders: regular boost package now only contains headers 2014-09-21 15:18:16 -07:00
William A. Kennington III
89cf0e4fea boost: 1.55 -> 1.56 2014-09-21 15:18:16 -07:00
William A. Kennington III
768fe6ed06 boost-build: Add derivation 2014-09-21 15:18:16 -07:00
AndersonTorres
d3c7ecb2fd Various SLIM themes, obtained from Sourceforge's SLIM website
Closes #3974
2014-09-21 19:55:26 +01:00
Edward Tjörnhammar
175a40133a ideas: refactored products into common subexpression.
Closes #4039
2014-09-21 15:20:21 +01:00
Vincent Laporte
857c13e1af Minor modifications of some ocaml packages:
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
2014-09-21 11:02:55 +01:00
Michel Kuhlmann
f427a3d849 LASzip: initial expression
Closes #4128
2014-09-21 01:50:14 +01:00
lostdj
a54eb8d8b2 ue4demos: new package
Closes #4082
2014-09-21 01:19:00 +01:00
Emery Hemingway
d566fffc43 initial package for TREZOR browser plugin
This plugin allows a browser to access a TREZOR device.
It requires a udev rule and a wrapped browser to operate.

Closes #3475
2014-09-21 00:53:49 +01:00
Jaka Hudoklin
1a87e651e9 add thy-hydra: very fast network logon cracker which support many different services 2014-09-21 01:50:43 +02:00
Jaka Hudoklin
bc55a057e7 airfield: fix, add package definition to all-packages 2014-09-21 01:49:36 +02:00
wyvie
c891dd2719 new package: mudlet-3.0
Closes #4095
2014-09-21 00:45:31 +01:00
AndersonTorres
5c834022e8 Batti (version 0.3.8): New Package
Batti is a small, GTK+UPower-based battery monitor, ideal for
lightweight desktop environments/window managers.

Closes #4031
2014-09-21 00:22:27 +01:00
AndersonTorres
90fcd66599 AfterStep (version 2.2.12): New Package
AfterStep is a beautiful window manager, inspired by NEXTStep interface

Closes #4177
2014-09-21 00:03:44 +01:00
AndersonTorres
4f85f64153 Higan: adding "profile" and "gui" building options
Also, removing builder.sh and copying everything to Nix expression.

Closes #4048
2014-09-20 23:51:15 +01:00
Mateusz Kowalczyk
1e5452865b Merge pull request #4061 from vbgl/mezzo
Adds mezzo and its dependencies
2014-09-20 23:38:47 +01:00
wyvie
4d5336316c New package: lua-zip-1.2.3
Closes #4138
2014-09-20 23:32:17 +01:00
Mateusz Kowalczyk
c7bbc288b5 Merge branch 'cmplayer' of https://github.com/abbradar/nixpkgs
Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
2014-09-20 23:00:41 +01:00
Daniel Peebles
72e76a18c1 Update maven to 3.2.3 and put it in a more sensible location
Closes #4187.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
2014-09-20 22:33:18 +01:00
Daniel Peebles
588a5e92a3 Add commons-math (binary until I get maven build working)
Drop jakarta name from fileupload and update its version

Jakarta regexp has been officially retired, and nothing in nixpkgs uses it, so let’s get rid of it.

Add commons-io

More commons additions/cleanup

Closes #4181

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
2014-09-20 22:31:47 +01:00
Thomas Tuegel
26ebd25844 Merge branch 'maintainer-updates' 2014-09-20 15:55:25 -05:00
roconnor
bbd58db13a Merge pull request #4133 from vbgl/coq-8-3
Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
2014-09-20 16:24:10 -04:00
Thomas Tuegel
cfcf643bb9 Version bump: libfm-1.2.2.1 and menu-cache-0.7.0 2014-09-20 13:20:19 -05:00
Vincent Laporte
40e79043b0 mkOcamlPackages: simpler rule for lablgtk 2014-09-20 18:53:43 +01:00
Nikolay Amiantov
6dfb6e5426 deadbeef: add package 2014-09-20 13:38:52 +02:00
Bjørn Forsman
8983b60f87 wireshark: add CLI and Qt versions
In addition to our existing GTK version.

* Only install desktop file if building a GUI version.
* The Qt build appends "-qt" to the
  wireshark binary name. Undo it so the desktop file works.
* The 'wireshark' attribute still refers to the GTK version, for
  backwards compatibility.
2014-09-20 13:28:46 +02:00
Daniel Peebles
4cb2357782 Drop the jakarta name from BCEL and update its version.
Closes #4180.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
2014-09-20 07:13:24 +01:00
roconnor
cbf79969b3 Merge pull request #4120 from NixOS/gnupg
Add pinentry optional dependency for gnupg.

Delete gnupg2_1.
2014-09-19 23:44:53 -04:00
Domen Kožar
9cad5e755f Merge pull request #4170 from vbgl/ocaml-sexplib-camlp5
Updates ocaml-sexplib and ocaml-typeconv
2014-09-19 20:45:14 +02:00
Vincent Laporte
8febae5dfd Updates ocaml-sexplib and ocaml-typeconv
Fixes OCaml / camlp5 version mismatch
2014-09-19 19:09:37 +01:00
William A. Kennington III
4cb5e39de6 Merge pull request #4157 from abbradar/icedtea-web
Add support for IcedTea in Firefox
2014-09-19 10:30:28 -07:00
(cdep)illabout
e52caabe63 Took out builder script for default builder.
Removed the builder script in order to use the default builder based on
comments from a code review.
2014-09-19 17:28:24 +02:00
(cdep)illabout
62e4bf2716 Adding roxterm package. 2014-09-19 16:13:05 +02:00
Peter Simons
ee4a606cdf Merge pull request #4165 from ftrvxmtrx/pcalc
added pcalc package
2014-09-19 14:42:07 +02:00
Siarhei Zirukin
00298c7bba added pcalc package 2014-09-19 13:31:52 +02:00
cillianderoiste
1b8d79e0b2 Merge pull request #4143 from geerds/cask
Add "cask" package
2014-09-19 13:23:28 +02:00
Nikolay Amiantov
f7ae09b5af wrapFirefox: add support for firefox.icedtea 2014-09-19 06:15:06 +04:00
Nikolay Amiantov
e81589e2c1 cmplayer: add package 2014-09-19 03:52:11 +04:00
koral
2a56f3d3f3 Added termite package and updated vte to be compatible. 2014-09-18 23:29:58 +02:00
Bjørn Forsman
f6148e10a3 grails: new package
Grails is an Open Source, full stack, web application framework for the
JVM. It takes advantage of the Groovy programming language and
convention over configuration to provide a productive and stream-lined
development experience.

http://grails.org/
2014-09-18 22:57:03 +02:00
Russell O'Connor
2b4e35bfd3 Remove unmaintained gnupg2_1. 2014-09-18 14:46:54 -04:00
Joachim Schiele
5b17ce8675 Merge pull request #4149 from qknight/dog
dog-1.7: added potential cat replacement
2014-09-18 18:08:55 +02:00
Joachim Schiele
03b411d968 Merge pull request #4150 from qknight/dfc
dfc-3.0.4: a colored df -h replacement
2014-09-18 18:08:38 +02:00
Joachim Schiele
2a3bae70b4 Merge pull request #4063 from qknight/dcfldd
dcfldd: added advanced dd replacement
2014-09-18 18:08:07 +02:00
Joachim Schiele
dc86f52740 dfc-3.0.4: a colored df -h replacement 2014-09-18 18:06:49 +02:00
Joachim Schiele
c60bd6e435 dog-1.7: added potential cat replacement 2014-09-18 17:41:36 +02:00
Luca Bruno
eca58fd02f vimNox: fix after lua upgrade for ZHF 2014-09-18 16:22:37 +02:00
wyvie
e8c2159809 Added lua-filesystem module built with lua-5.1 2014-09-18 17:17:06 +04:00
Luca Bruno
979206c0b1 mysqlWorkbench: fix after lua upgrade for ZHF 2014-09-18 12:37:50 +02:00
Luca Bruno
634e9ab4f8 love: fix after lua upgrade for ZHF 2014-09-18 12:37:50 +02:00
Luca Bruno
0ce741f571 eiskaltdcpp: fix after lua upgrade for ZHF 2014-09-18 11:26:26 +02:00
Luca Bruno
bca4fa5fc0 asc: fix after lua upgrade for ZHF 2014-09-18 11:26:26 +02:00
Luca Bruno
6e6dc04a6b awesome 3.4: fix after lua upgrade for ZHF 2014-09-18 11:00:26 +02:00
Pascal Wittmann
180b9939d7 Merge pull request #4130 from k0ral/httptunnel
Added httptunnel package.
2014-09-18 10:13:46 +02:00
Shea Levy
a70ecf4797 strongswan: build with clang
Fixes https://lists.strongswan.org/pipermail/users/2014-September/006597.html
2014-09-17 22:08:18 -04:00
Nikolay Amiantov
3bed4d44d5 libchardet: added package 2014-09-18 06:00:44 +04:00
Vincent Laporte
d67588a5f1 Fixes coq-8.3: requires OCaml 3.12 2014-09-17 23:52:27 +01:00
Jascha Geerds
771d1bd865 Add "cask" package 2014-09-18 00:46:45 +02:00
Peter Simons
55d5747a90 Merge pull request #4102 from ftrvxmtrx/alock
added alock package
2014-09-17 23:42:49 +02:00
Aristid Breitkreuz
6fc7efa7b3 add mathematica 10 (slightly borked but runs) 2014-09-17 23:25:35 +02:00
Anonymous
55909ad36b dvdisaster: new package
dvdisaster: new package
2014-09-17 16:05:07 -04:00
koral
719b910eb3 Added httptunnel package. 2014-09-17 19:55:45 +02:00
Rob Vermaas
f7f9580545 Merge pull request #4092 from ts468/pam_mount
New packages: pam_mount and libHX
2014-09-17 13:15:22 +02:00
Michael Raskin
d78973078a Adding AdvanceCOMP deflate compression optimizer 2014-09-17 11:27:13 +04:00
Shea Levy
d8f80630f7 Add strongswan IPsec manager 2014-09-16 14:10:37 -04:00
lethalman
3224b32e64 Merge pull request #4101 from ts468/e19
Add package: Enlightenment E19!!!!
2014-09-16 16:13:56 +02:00
Jaka Hudoklin
1770272775 s3sync: fix input ruby attribute name 2014-09-16 10:34:02 +02:00
Jaka Hudoklin
79a6bddc1e Add kibana, visualize logs and time-stamped data 2014-09-16 10:28:03 +02:00
Charles Strahan
3594a6104f update ngrok to 1.7 2014-09-16 10:19:50 +02:00
Jaka Hudoklin
3ddb56f1d1 Merge pull request #3509 from cstrahan/ruby-interpreters
improve ruby support
2014-09-16 10:18:08 +02:00
Siarhei Zirukin
b8848c070c added alock package 2014-09-16 09:25:47 +02:00
Aristid Breitkreuz
532cc4b6f3 Merge pull request #4104 from ts468/chromium
Add configuration flag to chromium: hiDPISupport
2014-09-16 08:12:10 +02:00
Charles Strahan
c27a653bba improve ruby support
* add the 2.1.x versions
* include teeny version in passthru
* by default, apply the same patches used by RVM
* clean up file names and attribute names
2014-09-15 23:54:17 -04:00
Mateusz Kowalczyk
87eb8fcf83 agda-categories: add package 2014-09-16 02:47:13 +01:00
Thomas Strobel
1f28161a41 Add configuration flag to chromium: hiDPISupport
By default, hiDPISupport is disabled.
2014-09-16 00:44:34 +02:00
Thomas Strobel
1613d6cca6 Add package: Enlightenment E19!
Wayland desktop shell is not enabled, yet.
2014-09-15 23:34:28 +02:00
John Wiegley
10afb382b7 ott: 0.25 new expression 2014-09-15 21:50:07 +01:00
cillianderoiste
8e60e221b5 Merge pull request #4094 from romildo/master
New package: openbox-menu
2014-09-15 22:10:06 +02:00
cillianderoiste
0d30a0b68f Merge pull request #4043 from ehmry/monero
monero: intial expression for 0.8.8.3
2014-09-15 21:32:41 +02:00
Emery Hemingway
82de6b87d6 monero: intial expression for 0.8.8.3
http://monero.cc
2014-09-15 15:31:15 -04:00
Michael Raskin
d05684be21 Merge pull request #3694 from matejc/cmst
new package: cmst - qt gui for connman
2014-09-15 23:12:01 +04:00
Pascal Wittmann
2da1d6a0be Merge pull request #4098 from k0ral/bashmount
Added bashmount package.
2014-09-15 18:44:25 +02:00
koral
ce0dd9e335 Added bashmount package. 2014-09-15 18:29:47 +02:00
Moritz Ulrich
fe3c2a56c8 New package: Solvespace.
A parametric 2D/3D CAD application.
2014-09-15 16:29:08 +02:00
José Romildo Malaquias
63f6cc0f7b New package: openbox-menu 2014-09-15 08:34:16 -03:00
Ian-Woo Kim
83604fa032 pdf2svg: PDF converter utility to SVG format 2014-09-15 12:54:39 +02:00
Thomas Strobel
6366509e54 Merge branch 'upstream' into pam_mount
Conflicts:
	pkgs/top-level/all-packages.nix
2014-09-15 12:15:11 +02:00
Thomas Strobel
66dbde4002 New packages: pam_mount and libHX
Add pam_mount package. Integration into NixOS is still missing.
2014-09-15 11:55:23 +02:00
Charles Strahan
ff344624d6 add go-repo-root, dependency of go2nix 2014-09-15 09:53:30 +02:00
William A. Kennington III
abc21d9464 mstflint: Add derivation 2014-09-14 19:00:25 -07:00
William A. Kennington III
9c27c33ea8 libibmad: Add derivation 2014-09-14 19:00:02 -07:00
William A. Kennington III
0511d49f2e libibumad: Add derivation 2014-09-14 18:59:43 -07:00
Domen Kožar
9daaa16341 add python2nix 2014-09-14 23:12:22 +02:00
Aristid Breitkreuz
8059a25ba9 Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan
dylan: Remove old gwydion-dylan package.
2014-09-14 22:28:35 +02:00
Pascal Wittmann
6b75431f2d Merge pull request #4051 from wyvie/master
Added quazip-0.7
2014-09-14 19:56:02 +02:00
cillianderoiste
3bb60dbefe Merge pull request #4060 from rycee/stix-font
Add package for the STIX OTF fonts.
2014-09-13 15:56:56 +02:00
Joachim Schiele
cf8549da2f dcfldd: added advanced dd replacement 2014-09-13 14:23:09 +02:00
Luca Bruno
f5c43d9f62 vanubi: new package
Programming editor for GTK+ inspired by Emacs

http://vanubi.github.io/vanubi
2014-09-13 12:39:18 +02:00
Vincent Laporte
829c49a686 Adds mezzo
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.

Homepage: http://protz.github.io/mezzo/
2014-09-13 12:26:07 +02:00
Vincent Laporte
cc387fa886 Adds ocaml-functory
Functory is a distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion. Further, it is
polymorphic, incorporates a robust fault-tolerant mechanism and is already being deployed in real-world applications.

Homepage: https://www.lri.fr/~filliatr/functory/
2014-09-13 12:26:07 +02:00
Vincent Laporte
ed72590004 Adds ocaml-pprint
Pprint is an OCaml adaptation of Wadler’s and Leijen’s prettier printer.

Homepage: http://gallium.inria.fr/~fpottier/pprint/
2014-09-13 12:26:07 +02:00
Vincent Laporte
2f0994010a Adds ocaml-fix
Fix is a simple OCaml module for computing the least solution of a system of monotone equations.

Homepage: http://gallium.inria.fr/~fpottier/fix/
2014-09-13 12:26:07 +02:00
Robert Helgesson
e68d97aa43 Add package for the STIX fonts. 2014-09-13 12:07:13 +02:00
Pascal Wittmann
e377128003 Merge pull request #4038 from bobvanderlinden/volumeicon
added volumeicon
2014-09-12 23:48:04 +02:00
Pascal Wittmann
3c6eceb5fb Merge pull request #4008 from dbohdan/master
Add Jim Tcl interpreter
2014-09-12 21:36:58 +02:00
cillianderoiste
56f6952f0d Merge pull request #4049 from vandenoever/musescore
Add MuseScore 1.3.
2014-09-12 18:53:14 +02:00
Peter Simons
5b28aebc08 sbt: drop unconditionally set $SBT_OPTS variable from script
... and rename simple-build-tool to just "sbt", which is the name
everybody uses these days.
2014-09-12 17:11:38 +02:00
Jos van den Oever
8a4ce8cf34 Add MuseScore 1.3. 2014-09-12 16:52:44 +02:00
wyvie
8746d4b6bc Added quazip-0.7 2014-09-12 17:06:36 +04:00
Matej Cotman
7f76092ffc new package: cmst - qt gui for connman 2014-09-12 14:10:26 +02:00
Eelco Dolstra
135142780b readline: Name Nix expressions consistently 2014-09-12 11:15:13 +02:00
Bruce Mitchener
5e367ec9d7 dylan: Remove old gwydion-dylan package.
The Gywdion Dylan compiler that was packaged here is old and this
package no longer builds. The Gwydion Dylan compiler is no longer
maintained, and has been replaced by the Open Dylan compiler which
is already packaged in Nix (opendylan).
2014-09-12 12:27:58 +07:00
Nathaniel Baxter
2fec214933 dbus_python: Add missing isPyPy argument. 2014-09-12 10:24:13 +10:00
William A. Kennington III
65f103175e consul: 0.3.0 -> 0.4.0 2014-09-11 15:40:41 -07:00
Domen Kožar
aa162b388d package gim-nix and document it 2014-09-12 00:26:51 +02:00
Eelco Dolstra
9a6484b255 smem: Add package
This is a memory reporting tool that accounts for shared memory.
2014-09-11 22:20:02 +02:00
Nick Sauce
759cc041ed smartgithg: new package
@vcunat added meta.platforms.
2014-09-11 21:51:01 +02:00
Mateusz Kowalczyk
37900c35c3 agda: add bitvector 2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk
ee31679bad agda-stdlib: make expression nicer, fix license 2014-09-11 20:35:56 +01:00
Nick Sauce
e5c7115d6d gtkspellmm: new package
@vcunat added platforms.
2014-09-11 21:24:56 +02:00
Bob van der Linden
9b4fc42606 added volumeicon 2014-09-11 20:13:43 +02:00
Mateusz Kowalczyk
d084f40c01 agda: add Agda-Sheaves 2014-09-11 18:49:28 +01:00
cillianderoiste
15e134f127 Merge pull request #3829 from ruediger/add/oxygen-gtk3
Add oxygen-gtk3.
2014-09-11 11:02:12 +02:00
Peter Simons
ff1b7aa332 Merge pull request #4028 from madjar/master
sshpass: Added expression
2014-09-10 20:52:22 +02:00
Domen Kožar
33ce850b82 fix a bunch of packages with lua5_1 2014-09-10 17:24:56 +02:00
Georges Dubus
f7fe08ec4e sshpass: Added expression 2014-09-10 16:01:39 +02:00
Michael Fellinger
4aed828dd0 gecode: add package 2014-09-10 14:14:58 +02:00
Vladimír Čunát
a73196517e lua: migrate some pkgs, 5.1 -> 5.2 2014-09-09 21:49:40 +02:00
Vladimír Čunát
d09736b7c1 lua5 sockets: our version only works with lua 5.1 2014-09-09 21:49:35 +02:00
Bjørn Forsman
c888b97e19 linssid: new package
LinSSID is a graphical wireless scanning application for Linux.

http://sourceforge.net/projects/linssid/
2014-09-09 19:42:49 +02:00
Luca Bruno
ac724e7bbc Added TORQUE package and nixos module
Resource management system for submitting and controlling
jobs on supercomputers, clusters, and grids

http://www.adaptivecomputing.com/products/open-source/torque
2014-09-09 18:24:46 +02:00
Danyil Bohdan
03df715281 Add Jim Tcl interpreter 2014-09-09 14:19:49 +03:00
Pascal Wittmann
95b4d2af94 Merge pull request #3934 from MP2E/chocolate-doom
chocolateDoom and chocolateDoomMaster added
2014-09-09 12:16:18 +02:00