Commit graph

14028 commits

Author SHA1 Message Date
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
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
Florent Becker
ed8ced514a Add license for svg2tikz 2014-10-09 11:21:00 +02:00
Damien Cassou
af770d4c7c Astroid 1.2.1 2014-10-09 10:22:16 +02:00
Michael Raskin
77f497b78d Merge pull request #4428 from mknight-tag/master
New package: MKRAND
2014-10-09 11:50:47 +04: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
Peter Simons
2da7e03ed7 cabal2nix: fix build with old versions of GHC 2014-10-08 21:04:31 +02:00
Bjørn Forsman
8542ccc248 python-libvirt: update 1.2.7 -> 1.2.9
Should fix breakage due to out-of-sync version with libvirt.
2014-10-08 18:09:52 +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
Shea Levy
302fd99a11 ujson doesn't build on pypy 2014-10-08 10:27:34 -04:00
Francesco Lazzarino
672654f9e9 new: gist – cli for gist.github.com 2014-10-08 07:31:36 -05:00
Domen Kožar
0723adfa26 pythonPackages.circus: add 2014-10-08 13:31:50 +02: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
William A. Kennington III
2636436359 libibverbs: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III
33cd48a470 libqb: Add package 2014-10-08 01:27:26 -07:00
Francesco Lazzarino
585325dc14 New: gnu datamash 2014-10-07 19:41:31 -05:00
Mateusz Kowalczyk
9440e6ba7d haskell-objective: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk
3a5708ddc2 haskell-clean-unions: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk
2dc7f89bee haskell-WAVE: new package 2014-10-07 16:08:01 +01:00
Mateusz Kowalczyk
3c22bdd271 haskell-trivia: new package 2014-10-07 16:08:01 +01:00
Domen Kožar
b0294578eb add opentracker: free bittorrent tracker project. It aims for minimal resource usage and is intended to run at your wlan router 2014-10-07 17:06:46 +02:00
Nick Sauce
bfa942c9bf sigil: new package 2014-10-07 18:51:33 +04:00
Michael Raskin
b32dbc8be6 Gajim update 2014-10-07 16:23:28 +04:00
Michael Raskin
5d584c5109 Update gvpe 2014-10-07 16:23:28 +04:00
Michael Raskin
c16cce3204 Update freetalk 2014-10-07 16:23:28 +04:00
Luca Bruno
e229cfb57c Revert "Merge pull request #4406 from wavewave/proot"
This reverts commit 552d1ec8b3, reversing
changes made to 3432414808.
2014-10-07 14:05:31 +02:00
Domen Kožar
1992bd1331 Merge pull request #4409 from iElectric/redmine
Add Redmine package and NixOS Service
2014-10-07 13:41:46 +02:00
Shea Levy
a18a992785 Add ujson python package 2014-10-07 06:32:48 -04:00
Shea Levy
0f37f832c6 tornadokick: bump 2014-10-07 06:12:50 -04:00
lethalman
552d1ec8b3 Merge pull request #4406 from wavewave/proot
proot: User-space implementation of chroot, mount --bind and binfmt_misc
2014-10-07 12:10:39 +02:00
Domen Kožar
8f27aedb46 add redmine package 2014-10-07 10:54:22 +02:00
Christopher Poole
7af2d07f24 Added the dlib machine learning library. 2014-10-07 16:36:30 +11:00
Christopher Poole
19cceb91bd Added the grassroots DICOM library. 2014-10-07 16:01:26 +11:00
Bryan Gardiner
de0a388ccf Add claws-mail and libetpan.
Adds Nix expressions for claws-mail (http://www.claws-mail.org) and a
dependency that is not already in the tree, libetpan
(http://www.etpan.org/libetpan.html).

The Claws expression has flags for toggling the build of various plugins.
2014-10-06 18:07:43 -07:00
Ian-Woo Kim
609bea973a proot: User-space implementation of chroot, mount --bind and binfmt_misc 2014-10-07 02:37:23 +02:00
Rob Vermaas
bb0c2fab6d Re-add bower/bower2nix, regenerated node-packages-generated.nix 2014-10-06 20:40:14 +02:00
Aristid Breitkreuz
a839129fde Merge pull request #4388 from NixOS/minecraft-sound
Minecraft sound with Pulseaudio
2014-10-06 20:08:29 +02:00
Michael Raskin
08c365979a Fix dadadodo entry in all-packages after cleanup 2014-10-06 14:15:43 +04:00
Peter Simons
8ee5bd585f haskell-sloane: update to version 1.9.3
This version supports the latest optparse-applicative.
2014-10-06 11:21:39 +02:00
Peter Simons
06a62d44fb git-annex: blind attempt to fix the build on Darwin 2014-10-06 11:00:12 +02:00
Charles Strahan
fc7098abf7 logstash service improvements
* add logstash-contrib plugins package
* add additional options to the logstash service
2014-10-05 21:53:05 -04:00
Michael Raskin
a69caaa65b Update linux_latest reference to 3.17 2014-10-06 02:56:14 +04:00
Michael Raskin
4397ec5cab Add Linux 3.17 2014-10-06 02:43:58 +04:00
Oliver Charles
9e155d6d94 haskellPackages.diagramsGtk: New expression 2014-10-05 20:36:11 +01:00
Aristid Breitkreuz
6c7786074f fix sound in minecraft for pulseaudio users 2014-10-05 19:50:35 +02:00
Mateusz Kowalczyk
bc2ab990cc haskell-vty: update to 5.2.3 2014-10-05 14:58:30 +01:00
Aristid Breitkreuz
596b4b42ed Merge pull request #4378 from abbradar/deadbeef-fix
fix "Open..." menu items in "deadbeef"
2014-10-05 14:53:44 +02:00
_1126
7536d41287 stumpwm: update and refactoring
This commit updates the stumpwm to version 0.9.8. Futhermore, it
refactors the expression quite a lot:

* stumpwm has been moved from lisp modules to window-managers.
* stumpwm has been added to the window managers NixOS knows about, this
  enables the user to add stumpwm as a default window manager in his
  NixOS configuration like with Xmonad or i3.
* the package has been split into stumpwm and stumpwmContrib. This is
  due to the fact that development of stumpwm and its extension modules
  has been split into two repositories. As of today, the release is the
  last one before this split. This split into two packages only reflect
  those upcoming upstream changes already.

It is planned to make the addition of the extension modules voluntarily,
like with Xmonads option "enableContribAndExtras". Furthermore it might
be possible to add an option to compile stumpwm with clisp instead of
sbcl.
2014-10-05 14:50:08 +02:00
William A. Kennington III
9e5825ba8e iperf: Add major version 3 2014-10-04 17:23:06 -07:00
Peter Simons
b1e52be91d perl-packages.nix: strip trailing whitespace 2014-10-04 22:52:21 +02:00
Peter Simons
1f1971b214 perl-Crypt-RandPasswd: update to version 0.06
The old version is no longer available for download.
2014-10-04 22:52:21 +02:00
Peter Simons
1faca0e3d6 perl-Email-Sender: update to version 1.300014
The old version is no longer available for download
2014-10-04 22:52:21 +02:00
Peter Simons
dcaa69a2ea perl-Throwable: update to version 0.200010
The old version is no longer available for download
2014-10-04 22:52:21 +02:00
Peter Simons
e3c4b9de14 perl-MooX-Types-MooseLike: add version 0.27 2014-10-04 22:52:21 +02:00
Daniel Peebles
aa7839c145 Clean up command-line tools a bit to allow us to use an impure
hdiutil (for an upcoming bootstrapped stdenv for darwin!)

Closes #4382
2014-10-04 20:21:15 +01:00
Bjørn Forsman
b17b17be73 python-scipy: update 0.12 -> 0.14
I successfully built all reverse dependencies, using this procedure[1]:

  $ nix-env -f . -qaP \* --drv-path | sort > l1
  (...modify package...)
  $ nix-env -f . -qaP \* --drv-path | sort > l2
  $ changed=$(diff l1 l2 | awk '{print $2}' | sort | uniq)
  $ nix-build $(for i in $changed; do echo -A $i; done)

[1]: https://nixos.org/wiki/Contributing
2014-10-04 18:41:42 +02:00
Mateusz Kowalczyk
db55a6788a python-xdot: new package 2014-10-04 08:26:34 +01:00
Mateusz Kowalczyk
5bb8260bfb haskell-graphmod: new package 2014-10-04 07:54:12 +01:00
Nikolay Amiantov
1cc3fc871e deadbeef: fix gtk3, use gtk2 by default, allow simultaneous 2014-10-04 01:50:50 +04:00
Damien Cassou
5d294db3b2 shellcheck is packaged twice
I removed development/libraries/haskell/ShellCheck and kept
development/tools/misc/ShellCheck.
2014-10-03 20:16:25 +02:00
Peter Simons
5e62bd5343 Merge pull request #4272 from edwtjo/ihaskell
ihaskell: added package
2014-10-03 19:12:08 +02:00
Nikita Mikhailov
cb18839669 python-linode: add myself as maintainer, fix meta 2014-10-03 12:18:50 +02:00
Nikita Mikhailov
28a04ae236 Add linode python binding 2014-10-03 12:18:50 +02:00
Sander van der Burg
0960e30121 node-packages: update titanium to latest stable version and update other NPM packages 2014-10-03 11:46:22 +02:00
AndersonTorres
bf560ce496 PGF: "upgrade" to version 3.00
It is not so properly an update, because the old versions will not be
obliterated from Nixpkgs. Hello backwards compatibility, my old friend...
2014-10-03 00:37:43 -03:00
Edward Tjörnhammar
6becaca7b3 ihaskell: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
949b80a229 system-argv0: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
bf885a8d87 ghc-parser: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
5765ce1b2d here: added package 2014-10-02 20:53:55 +02:00
Rickard Nilsson
1ccb2f76b5 Merge pull request #4078 from edwtjo/libretro-cores-addendum
XBMC RetroArch integration and some cores
2014-10-02 20:50:49 +02:00
Michael Raskin
907af9e9e6 Merge pull request #3963 from christopherpoole/geant4
Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
2014-10-02 22:42:15 +04:00
Domen Kožar
91c0ba4b20 pythonPackages.webob: 1.3.1 -> 1.4 2014-10-02 20:09:53 +02:00
Rickard Nilsson
f615942664 Syntax fix for xbmc/retroarch in all-packages.nix 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar
9d4e344b46 xbmc: enable plugins to be picked up from the store. 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar
9d93f9bcda XBMC AdvancedLauncher RetroArch launchers.
These are wrappers for retroarch wrappers, they are needed since launching a
process from XBMC(as a display manager and probably otherwise), using
AdvancedLauncher, results in it and it's parent recieving the same gamepad
input.

These wrappers will produce no sound on XBMC and AdvancedLauncher setups not
using a sound daemon, since XBMC gets paused while still holding onto the sound
device.
2014-10-02 20:09:18 +02:00
Mateusz Kowalczyk
2e51b2e18a agda-base: new package 2014-10-02 09:49:42 +01:00
Daniel Peebles
c55c435ade Add Apple command-line tools
Closes #4365
2014-10-02 06:50:09 +01:00
AndersonTorres
59418454e6 Bochs: adding configurable options
Now, Bochs expression has a bunch of configurable options!

Unhappily, it is a big and complex project, and some configure options
are in constant clash. But the set created for now is very usable and
stable.

Closes #4366
2014-10-02 06:48:50 +01:00
Boris Sukholitko
0d41386f48 haskell: add blank-canvas package
Closes #4356
2014-10-02 06:47:52 +01:00
Boris Sukholitko
f806977d78 haskell: add kansas-comet package
Closes #4356
2014-10-02 06:47:47 +01:00
Emery Hemingway
7a610e8b67 assimp: initial package expression for version 3.1.1
Open Asset Import Library is a library for importing 3D models in
various formats

Closes #4352
2014-10-02 06:45:17 +01:00
Mateusz Kowalczyk
fa910f2f74 giflib: default to 5.0.5
5.1.0 apparenlty breaks a bunch of stuff, see comments on
61f8cee6ce
2014-10-02 06:24:51 +01:00
Austin Seipp
6e9d62153f Merge pull request #4354 from k0ral/restview
New python package: restview-2.1.1
2014-10-01 18:53:41 -05:00
Austin Seipp
077fcd8829 Merge pull request #4357 from flazz/master
new: Apache Cassandra 2.1.0
2014-10-01 18:52:54 -05:00
Luca Bruno
e707530751 giflib: add back the 5.0 version
Should fix tracker and may be used to fix
other packages after commit 61f8cee.

Untested as it takes too much time to recompile
everything these days.
2014-10-02 01:41:35 +02:00
Francesco Lazzarino
17aae5742d Apache Cassandra 2.1.0 2014-10-01 15:25:32 -05:00
koral
041f507937 New python package: restview-2.1.1 2014-10-01 19:04:22 +02:00
John Wiegley
10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Shea Levy
516be15130 Merge branch 'mac-purity' of git://github.com/copumpkin/nixpkgs
Let’s compile the Mac OS X SecurityTool ourselves

copumpkin:

This allows us to compile SecurityTool ourselves. There are several more
Apple opensource projects that can be compiled this way that I'll slowly
add.

Remaining sources of impurity:

Reference to absolute path to Xcode. This should be integrated with the
xcode derivation (and the iOS wrapper chain that exists under mobile
development) but it's not obvious how to do that yet.
Absolute reference to xcodebuild.
Adding this should make it possible for #3629 to work reasonably
cleanly.
2014-09-30 21:28:07 -04:00
AndersonTorres
1c0d37a038 Higan: adding config.higan.{guiToolkit,profile} options
Now we can parametrize Higan locally.
By default, guiToolkit = "gtk" and profile = "performance" (the accuracy
profile is seriously slow on my machine :) )

Closes #4340
2014-10-01 02:17:40 +01:00
Daniel Peebles
0e9cf136af A simple ADC downloader for upcoming darwin awesomeness
Closes #4327
2014-10-01 02:10:31 +01:00
AndersonTorres
6acd05f27a Sound of Sorting: New Package
Sound of Sorting is an array-sorting visual+sound demo program.
It shows an array as a list of horizontal bars, and realizes a
step-by-step sorting of it. Moreover, it colorizes and emits a
"8-bit-game-like" sound throughout its execution.

Closes #4341
2014-10-01 02:04:36 +01:00
Michael Raskin
4dabba4d1e Add a binary distribution of Apache Jena RDF storage system 2014-09-30 23:11:19 +04:00
Mateusz Kowalczyk
ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers
Working with Coq
2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk
876bd39fae Merge pull request #4285 from k0ral/hg-git
hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7
2014-09-30 09:57:39 +01:00
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
AndersonTorres
a4a3503211 Udiskie: update to 1.1.2
Amending to the last commit: added gettext dependency
TODO: investigate Python3/gobject issues

Closes #3720
2014-09-30 01:51:43 +01:00
Gergely Risko
ad135c658d Don't depend specific version of binary in the bmp package
This was added a long time ago, because bmp required binary 0.7.1.0
at least.  But that binary is now the default and requiring a
specific binary just causes issues with setups where the end result
is to have two version of binary in the wrapped package db.
2014-09-29 17:18:43 +02:00
Wout Mertens
d2467f4fe5 Python on Darwin: Don't depend on glibc locales 2014-09-29 14:05:32 +02: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
Pascal Wittmann
97be74be16 Merge pull request #4302 from k0ral/tty-clock
New package: tty-clock-0.1
2014-09-28 13:10:55 +02:00
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +02:00
Rok Garbas
28ea895b08 pythonPackages.configobj: new version needs six as dependency 2014-09-28 12:56:08 +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
Domen Kožar
2df644a9e1 pythonPackages.nose: disable tests 2014-09-27 22:34:51 +02:00
Domen Kožar
2fea016f4d python3Packages.pelican: fix build 2014-09-27 22:34:51 +02:00
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
koral
47636809ea dulwich: added tests dependencies. 2014-09-27 16:50:36 +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