JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
47,563 Commits 2 Branches 0 Tags 13 GiB
2991b5a2f3
Commit Graph

13088 Commits

Author SHA1 Message Date
Joachim Schiele
79617c03eb pdfgrep: added a nice util to search in pdf files 2014-08-13 20:03:04 +02:00
Hoang Xuan Phu
f7a460af14 add HaskellNet 2014-08-13 21:55:11 +08:00
Peter Simons
cdabab5b28 Merge pull request #3555 from tomberek/haskell_hplayground 
Haskell hplayground
 2014-08-13 15:39:07 +02:00
Aycan iRiCAN
241bb984b1 Merge pull request #3564 from ttuegel/haskell 
Add haskell-formatting-5.2
 2014-08-13 15:18:11 +03:00
Thomas Tuegel
631f8cacb0 Add haskell-formatting-5.2 2014-08-13 06:58:37 -05:00
Charles Strahan
4b7fd0e561 fix mesa_drivers 2014-08-13 00:31:37 -04:00
Abhinav Gupta
6e886678d1 pythonPackages.httpbin: Add version 0.2.0 2014-08-12 19:31:24 -07:00
tomberek
0e24703c5b Add haste-perch for hplayground 2014-08-12 20:45:22 -04:00
Charles Strahan
5ea8497933 get xorg/x11 working on Darwin 2014-08-12 20:40:57 -04:00
tomberek
e3ad8ba4be Adds hplayground, needs hastePerch 2014-08-12 20:37:22 -04:00
Vladimír Čunát
d66c0a55da merge #3342: update gstreamer to 1.4.0 2014-08-12 22:15:42 +02:00
Vladimír Čunát
df76cbaa21 hugin, enblend-enfuse: enbaleParallelBuilding, default boost 
Also unset meta.broken.
 2014-08-12 21:17:53 +02:00
Vladimír Čunát
a3d33de16a Merge #3248: add glmark2-2014.03 2014-08-12 20:53:11 +02:00
Vladimír Čunát
566058b477 Merge #3152: add pyqt5 2014-08-12 20:33:34 +02:00
Vladimír Čunát
bcdbbf3ea1 Merge #2129: add trusted computing components 2014-08-12 19:43:34 +02:00
Vladimír Čunát
87c3c0e885 Merge master into #2129 
Conflicts (easy, just UID shifted):
	nixos/modules/misc/ids.nix
	nixos/modules/module-list.nix
 2014-08-12 19:24:08 +02:00
Oliver Charles
4e2adbeb4d haskellPackages.bound: New expression 2014-08-12 18:11:33 +01:00
Matt Miemiec
8695c58648 Add the bspwm window manager to Nix. 2014-08-12 18:22:15 +02:00
Michael Raskin
4ab466cc56 Update OpaLang; it still doesn't build for a mysterious reason: apparently the missing fields are actually defined… 2014-08-12 16:22:25 +04:00
Rickard Nilsson
bdea35d98b obnam: Update from 1.6.1 to 1.8 2014-08-12 13:32:24 +02:00
Domen Kožar
cc8e4f6814 provide pulseaudioFull and set it as default to hardware.pulseaudio.package 2014-08-12 12:51:25 +02:00
Peter Simons
46e5a78b81 haskell-Allure: add version 0.4.99.0 2014-08-12 12:37:44 +02:00
Peter Simons
cccb6a67eb haskell-zip-archive: update to version 0.2.3.4 2014-08-12 12:37:43 +02:00
Domen Kožar
f73291e1ef virtualenv: 1.11.4 -> 1.11.6 2014-08-12 12:23:07 +02:00
Peter Simons
27c17fb451 Merge pull request #3547 from nilcons/hmatrixfix 
Use shared atlas in liblapack for hmatrix
 2014-08-12 10:55:29 +02:00
Christoph Hrdinka
f44e69a55d luminanceHDR: add version 2.4.0 
fixes #3229
 2014-08-12 10:19:35 +02:00
Gergely Risko
36c1655aa0 Use shared atlas in liblapack for hmatrix 2014-08-12 02:27:44 +02:00
Peter Simons
59e15fe815 Revert "Many minor fixes to get things building after recent compiler changes". 
This reverts the Haskell part of commit 326ca0f690, because these changes
broke the 'scientific' build with GHC 7.4.2.
 2014-08-11 14:48:35 +02:00
Mateusz Kowalczyk
6aa17c2ea9 haskell-profunctor-extras: deperecated package 
Use profunctors instead. We have no dependencies on this anyway.
 2014-08-11 13:58:40 +02:00
Mateusz Kowalczyk
e8b13a9586 haskell-vty-ui: explicitly use vty 4.7.5 
https://github.com/jtdaugherty/vty-ui/issues/55
 2014-08-11 13:58:39 +02:00
Mateusz Kowalczyk
06d8dfaf40 haskell-base64-conduit: remove package 
The package has been deprecated by upstream and we have nothing that
depends on it.
 2014-08-11 13:56:12 +02:00
Jascha Geerds
24f3070a85 Fix default icon location in 'wrapFirefox' 2014-08-11 10:20:17 +02:00
Mateusz Kowalczyk
9cb34308da haskell-PastePipe: add version 1.5 2014-08-11 07:03:19 +02:00
John Wiegley
ef171fe543 libusb1: build using clangStdenv ... on darwin 2014-08-10 23:25:33 -05:00
John Wiegley
3dea766731 libusb1: build using clangStdenv 2014-08-10 23:25:06 -05:00
John Wiegley
326ca0f690 Many minor fixes to get things building after recent compiler changes 2014-08-10 23:18:57 -05:00
Bjørn Forsman
b9bd655b16 ucspi-tcp: new package 
ucspi-tcp is command-line tools for building TCP client-server
applications.

http://cr.yp.to/ucspi-tcp.html
 2014-08-10 23:00:42 +02:00
Peter Simons
4f17e39137 Merge pull request #3521 from pavelkogan/haskell-xml-conduit-writer 
haskell-xml-conduit-writer: add version 0.1.1.1
 2014-08-10 22:43:15 +02:00
Peter Simons
43fd39de43 Merge pull request #3520 from pavelkogan/SourceGraph 
new packages: SourceGraph + dependency
 2014-08-10 22:42:56 +02:00
Pavel Kogan
e1b139372c haskell-xml-conduit-writer: add version 0.1.1.1 2014-08-10 16:27:29 +01:00
Pavel Kogan
a00209a38e Add SourceGraph: Haskell code analysis tool 2014-08-10 16:13:35 +01:00
Pavel Kogan
51a2e36f20 haskell-Graphalyze: add version 0.14.1.0 2014-08-10 16:13:34 +01:00
Daniel Peebles
d18ec20878 Change junit to actually compile from source rather than download binaries 2014-08-09 20:53:36 -04:00
Eelco Dolstra
40602a666c Merge branch 'staging' 2014-08-09 23:41:58 +02:00
Eelco Dolstra
be399bf245 Hack to fix llvm/clang build on Darwin 
(Or at least restore it to the same level as brokenness as before the
staging merge. I.e. it depends on gcc-apple, which doesn't build on
standard 10.9 systems.)
 2014-08-09 23:31:00 +02:00
lethalman
8f34fda081 Merge pull request #3495 from geerds/virtualenvwrapper 
Fix virtualenvwrapper shell scripts
 2014-08-09 23:06:33 +02:00
Jascha Geerds
efbb5de1c5 Refactoring 2014-08-09 22:56:07 +02:00
Eelco Dolstra
a6d1013e66 redis: Build with default gcc 2014-08-09 21:49:09 +02:00
Eelco Dolstra
9f08904c8d gnuplot: Use default compiler on Darwin 2014-08-09 19:53:09 +02:00
Peter Simons
8ede29197f GHC 7.6.x requires older attoparsec to build with aeson 0.7.x. 2014-08-09 19:48:47 +02:00
Eelco Dolstra
6c5186cf9b gnuplot: Reduce dependency bloat a bit 2014-08-09 19:30:48 +02:00
Peter Simons
0d2463a24b GHC 7.6.x required scientific 0.2.x to build aeson 0.7.x. 2014-08-09 19:16:45 +02:00
Eelco Dolstra
a7c1541a21 emacs: Fix building on Darwin with recent versions of GCC 
This gets rid of the "unexec: unrecognized section __static_data in
__DATA segment" error while dumping Emacs.
 2014-08-09 19:08:37 +02:00
Peter Simons
d0e37eff7b GHC 7.6 and earlier cannot compile aeson 0.8.x. 2014-08-09 19:02:56 +02:00
lethalman
05eb5bf913 Merge pull request #3503 from lethalman/platforms 
Make platforms.allBut accept a list rather than a single platform
 2014-08-09 14:22:09 +02:00
Peter Simons
01a059ee80 haskell-filepath: drop this package, it's been part of GHC forever 2014-08-09 13:49:24 +02:00
Peter Simons
f44346d077 haskell-fay: build with aeson 0.7.x to fix build errors 2014-08-09 13:49:23 +02:00
Peter Simons
c00e814202 HaRe: remove broken package until it supports GHC 7.8.3 2014-08-09 13:49:23 +02:00
Peter Simons
ad42c60b91 haskell-token-utils: remove broken package until it supports GHC 7.8.3 
https://github.com/alanz/haskell-token-utils/issues/1#issuecomment-51681623
 2014-08-09 13:49:23 +02:00
Peter Simons
3531038008 haskell-aeson: update to version 0.8.x 2014-08-09 13:49:23 +02:00
Luca Bruno
b331ae33d7 Make platforms.allBut accept a list rather than a single platform 2014-08-09 12:31:33 +02:00
Georges Dubus
8de8d5a639 nox: Added expression 2014-08-09 12:30:38 +02:00
Georges Dubus
abf2f3fcc5 Added expressions for dogpile.core and dogpile.cache 2014-08-09 12:04:58 +02:00
John Wiegley
db8ab2191d Merge pull request #3216 from cstrahan/libuv 
add libuv package
 2014-08-09 01:04:09 -05:00
John Wiegley
16ffd0638b Merge pull request #3266 from cstrahan/mesos 
[WIP] mesos: Add package
 2014-08-09 01:03:58 -05:00
John Wiegley
83cf279452 Add an expression for building Coq HEAD 2014-08-08 18:11:00 -05:00
Peter Simons
c2b405e06c haskell-{alex,BNFC}-meta: remove broken packages 2014-08-09 00:39:52 +02:00
Pascal Wittmann
0cb0ad27be Merge pull request #3211 from ttuegel/adobe-fonts 
Adobe Source fonts
 2014-08-08 21:52:59 +02:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra
777617f987 ncurses: Build with standard gcc 2014-08-08 19:28:24 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Jascha Geerds
67820820a6 Fix virtualenvwrapper shell scripts 2014-08-08 17:30:35 +02:00
Peter Simons
45b9b6f2cf haskell-haskintex: add version 0.5.0.0 2014-08-08 16:10:00 +02:00
Peter Simons
86418382d5 haskell-HaTeX: add version 3.13.1.0 2014-08-08 16:10:00 +02:00
Peter Simons
5c8765d662 haskell-matrix: add version 0.3.3.0 2014-08-08 16:09:59 +02:00
Peter Simons
9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
Frerich Raabe
bdf5f45356 Enable perl-libwww-perl-6.05 on OS X 
I see no reason not to enable it, and doing so enables installing
git.
 2014-08-08 09:32:48 +02:00
Joel Taylor
d8cca3d624 fail2ban: systemd support 
- upgrade fail2ban to 0.9
- override systemd to enable python support and include sqlite3 module
- make fail2ban enablable
 2014-08-08 00:10:19 +02:00
Peter Simons
b0f5c885ec Merge pull request #3479 from pavelkogan/haskell-webkit 
haskell-webkit: add version 0.13.0.0
 2014-08-07 22:52:48 +02:00
Aycan iRiCAN
16b3955b42 Merge pull request #3483 from monocell/haskell-xorshift 
new package: haskell xorshift
 2014-08-07 18:49:48 +03:00
Aycan iRiCAN
f82cdd49be Merge pull request #3481 from Twey/sodium 
Add derivation for Sodium (Haskell FRP library)
 2014-08-07 18:29:25 +03:00
Peter Simons
c6d3075d69 haskell-attoparsec: update to version 0.12.1.1 2014-08-07 12:41:15 +02:00
Emil Rangden
356bd34b86 new package: haskell xorshift 2014-08-07 10:34:07 +02:00
Nicolas Dietrich
c2760bbb03 pythonPackages.meld3: Update to 1.0.0 
license change from ZPL to Repoze (BSD-style)
 2014-08-07 09:00:46 +02:00
System administrator
f3739e2aca added astromenace: Hardcore 3D space shooter 2014-08-07 01:54:41 +02:00
taku0
74ce1a016f add peco: Simplistic interactive filtering tool 2014-08-07 01:34:28 +02:00
William A. Kennington III
0450b0ad0a intel-gpu-tools: Add derivation 2014-08-07 01:32:43 +02:00
William A. Kennington III
f1abc8f8ba intelgen4asm: Remove obsolete package 2014-08-07 01:32:43 +02:00
William Roe
5ea8192704 Bump pythonPackages.boto to 2.32.0 
Amongst other things, this brings the ability to assign public IP
addresses to EC2 instances booted up inside a VPC/subnet.
 2014-08-07 01:28:36 +02:00
Emery Hemingway
420f18ef5b xscruiser: initial package expression 
http://xcruiser.sourceforge.net/
 2014-08-07 01:24:25 +02:00
NOTtheMessiah
9e9e628417 Added gcolor2 2014-08-07 01:17:01 +02:00
José Romildo Malaquias
ba9bfd39ad New packages: libgksu, gksu 2014-08-07 01:10:11 +02:00
Jason \"Don\" O'Conal
297599a299 bindfs: add expression 2014-08-07 01:07:34 +02:00
James ‘Twey’ Kay
10feef08ae Add derivation for Sodium (Haskell FRP library) 2014-08-06 21:43:10 +01:00
Pavel Kogan
ffae2ce039 haskell-webkit: add version 0.13.0.0 2014-08-06 16:44:35 +01:00
Rob Vermaas
34e6cb5083 Merge pull request #3476 from wkennington/master.unifi 
Add support for the unifi access point controller
 2014-08-06 17:00:54 +02:00
Rob Vermaas
b2f601234e Merge pull request #3478 from geerds/stevedore 
Add missing runtime dependency for python-stevedore
 2014-08-06 16:56:30 +02:00
Jascha Geerds
498fb83a68 Add missing runtime dependency for stevedore 2014-08-06 16:09:57 +02:00
Damien Cassou
8efdaa0aa2 Add the Pharo language and IDE package 
http://pharo.org

I'm one of the developers of Pharo and the creator and maintainer of the
Ubuntu PPA : https://launchpad.net/~pharo/+archive/stable.
 2014-08-06 13:53:33 +02:00
Peter Simons
b6e2a52b72 Merge pull request #3418 from peti/drop-obsolete-agda-version 
Agda: drop obsolete version 2.3.2.2
 2014-08-06 13:39:30 +02:00
Bjørn Forsman
560a235c95 python-robotframework: update from 2.8.4 to 2.8.5 2014-08-05 23:23:53 +02:00
William A. Kennington III
0652ee16e4 unifi: Add derivation 2014-08-05 16:18:41 -05:00
Peter Simons
953de80aad haskell-data-fin: add version 0.1.1.2 2014-08-05 19:56:27 +02:00
Peter Simons
6103824dd7 haskell-prelude-safeenum: add version 0.1.1.1 2014-08-05 19:56:16 +02:00
Oliver Charles
7a6ebb5420 haskellPackages.genericsSop: New expression 2014-08-05 17:12:19 +01:00
Jascha Geerds
eaad8d6923 Packaging PyCharm IDE 2014-08-05 07:15:43 +02:00
Thomas Tuegel
cab7fd67ce firefox: bring back version 30.0 for zotero 2014-08-04 13:43:58 -05:00
Michael Raskin
e27a887440 Give up for now: roll back SBCL to 1.2.0, as: 1.2.2 fails on i686; 1.2.1 fails everywhere 2014-08-04 19:57:01 +04:00
Peter Simons
9023cea859 Merge pull request #3268 from codygman/master 
dom-selector: add version 0.2.0.1
 2014-08-04 16:57:08 +02:00
Peter Simons
ec87968ba2 haskell-auto-update: add version 0.1.0.0 2014-08-04 16:52:26 +02:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging. 
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
 2014-08-04 16:51:47 +02:00
Pascal Wittmann
19fb472d5a Merge pull request #3458 from svenkeidel/paperkey 
added paperkey package
 2014-08-04 15:10:09 +02:00
Aycan iRiCAN
f20f30af2c Merge pull request #3457 from luke-clifton/lc-haskell-ad 
Adding Haskell Package AD for automatic differentiation
 2014-08-04 14:16:25 +03:00
Sven Keidel
36d339b74e added paperkey package 2014-08-04 13:11:29 +02:00
Luke Clifton
1501536dcd Adding Haskell Package AD for automatic differentiation 2014-08-04 18:21:25 +08:00
Peter Simons
fde5b8488b Merge pull request #3450 from cbpark/haskell_probability 
Add haskell-probability
 2014-08-04 10:52:33 +02:00
Rok Garbas
ba6c76f264 pythonPackage.gunicorn: update to 19.1.0 2014-08-04 10:11:52 +02:00
aszlig
f40fc0624d
haskell/yi: Build against vty 4.7.5. 
Probably jailbreak would do as well, but the version constraints are:

vty >= 4.7.4 && <5

I suppose the upcoming release of Yi will fix this, so I'm not using
jailbreak here (apart from the fact that Yi doesn't build successfully
using VTY >= 5).

Thanks to @bb010g for reporting.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-04 07:51:11 +02:00
aszlig
4834717507
linux-kernel: Add new upstream version 3.16. 
Also set linux_latest to it as well.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-04 02:41:54 +02:00
cbpark
65949e7415 Add haskell-probability 2014-08-04 00:58:17 +02:00
Michael Raskin
77389a5bcb Update LiquidWar6 to 0.4 2014-08-03 15:59:21 +04:00
Vladimír Čunát
6295a3ca36 Merge recent master into x-updates 
Hydra: ?compare=1142825

Conflicts (easy):
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
 2014-08-02 05:08:07 +02:00
Shea Levy
b0c8769c84 Add tornadokick python package 2014-08-01 15:14:38 -04:00
Rob Vermaas
64561b437d Remove broken flag for xen, build with gcc45. 2014-08-01 17:18:27 +02:00
Eelco Dolstra
688824cc60 Add a bunch of Hydra dependencies to the channel 2014-08-01 16:11:33 +02:00
Pascal Wittmann
0baac649aa Merge pull request #3188 from vbgl/merlin 
Adds merlin
 2014-08-01 13:39:27 +02:00
Vladimír Čunát
c92a8584ee fix eval after cf6bb72c6 2014-08-01 10:04:08 +02:00
aszlig
57781346d7
Merge branch 'i3-tests'. 
The reason I went through this whole journey of gathering dependencies
and debugging just in order to get i3 tests working was because I wanted
to supply test cases to a small patch I wrote for the upstream project.

This adds/updates quite a few Perl packages and a X dummy helper, which
are all needed in order to successfully run the test suite.
 2014-08-01 05:51:57 +02:00
aszlig
feeb5bae23
Add new package xdummy, a dummy X server. 
This is actually a small script which just starts an X server without
any real display. Right now only needed for running the test suite of
the i3 window manager within the Nix chroot, but might be useful for
running other tests needing a DISPLAY.

Usage is just like a regular X server, so in order to start an instance
for display :666, you just run it like this:

xdummy :666

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:14 +02:00
aszlig
b02d72f754
perl-packages: Add new package Inline-C, v0.62. 
This is needed for running the test suite of the i3 window manager.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:14 +02:00
aszlig
bae7da07d8
perl-packages: Add MouseXNativeTraits to X11-XCB. 
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:14 +02:00
aszlig
dff91a009d
perl-packages: Add new package MouseXNativeTraits. 
This is actually needed by X11-XCB, but I only found out after hours of
digging through Perl code from the stone age.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:14 +02:00
aszlig
8851638ea7
perl-packages: Add new package CarpAlways, v0.13. 
This has been proven to be VERY handy for providing useful stacktraces
in Perl. Just invoke it using:

perl -MCarp::Always yourshinyscript.pl

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:13 +02:00
aszlig
4a412e9561
perl-packages: Update Any-Moose to version 0.24. 
This has required to update a few dependencies, including Mouse (to
version 2.3.0).

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:13 +02:00
aszlig
d49f152513
perl-packages: Update Inline to version 0.64. 
Also tested whether all references (InlineJava, Autodia) are built
successfully.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:13 +02:00
aszlig
cf6bb72c6a
perl-packages: Add X11-XCB and dependencies. 
This is another requirement for running the i3 test suite.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:13 +02:00
aszlig
6ab0a8d0a8
perl-packages: Add AnyEvent::I3, version 0.15. 
This is needed in order to run the i3 test suite.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-08-01 05:49:13 +02:00
Austin Seipp
181cdb7cc8 Merge pull request #3412 from Ericson2314/rust-master 
Add alternative rustc package for master tip
 2014-07-31 21:51:21 -05:00
John Ericson
8f763d0539 rustc: rename rust to rustc, but keep rust attr name for backwards compat 2014-08-01 04:39:37 +02:00
John Ericson
641ccec337 rust: Refer to 0.11.nix directly in all-packages 
rather than use default.nix indirection
 2014-08-01 04:28:54 +02:00
John Ericson
584114b697 rust: Add an alternative package for the master tip 
based off of pull request #3084
 2014-07-31 20:42:20 +02:00
Mateusz Kowalczyk
ed51045f13 haskell-bencoding: 0.4.3.0 2014-07-31 19:12:43 +02:00
Bjørn Forsman
a03ec2692b lttng: fix evaluation error 
I'm giving up on the lttngModules backward compatibility attribute :-)
 2014-07-31 17:08:23 +02:00
Bjørn Forsman
fdba7f35fe lttng-modules: fix bad attribute reference 
Fixup error introduced in commit
410f2a9dab ("lttng: align attribute name
with package name"). lttng-modules is not a top-level attribute.
 2014-07-31 17:04:45 +02:00
Vladimír Čunát
dac1791fb5 thunderbird: major update 17.* -> 31.0 
- To fix build problems, I refactored the build process
  according to Mozilla recommendations.
- 31.0 should become the next ESR branch (31 released today).

CC @nbp @edolstra

(cherry picked from commit adc2edd5cf)
 2014-07-31 16:30:04 +02:00
Bjørn Forsman
410f2a9dab lttng: align attribute name with package name 
lttngModules => lttng-modules
lttngTools => lttng-tools
lttngUst => lttng-ust

But keep the old attributes around for backward compatibility.
 2014-07-31 16:00:04 +02:00
Peter Simons
84cf3f3de7 Agda: drop obsolete version 2.3.2.2 2014-07-31 13:58:36 +02:00
Peter Simons
7387244094 haskell-vty: update to version 5.1.4 2014-07-31 13:57:45 +02:00
Peter Simons
5f2ad413b7 haskell-xml-html-conduit-lens: add version 0.3.2.0 2014-07-31 13:57:45 +02:00
Peter Simons
689b322e10 Agda: update to version 2.4.0.2 2014-07-31 13:57:45 +02:00