nixpkgs

Files

Phreedom 5603d11da8 Merge pull request #482 from coroa/notmuch-gpg2

notmuch: patch source to use full path of gpg2

2013-05-03 11:34:29 -07:00

2013-04-22 23:40:06 +02:00

2013-03-29 15:37:28 +01:00

magit: fix download url

2013-04-22 21:44:04 +02:00

2013-04-25 08:41:46 +02:00

2013-04-26 10:14:07 -07:00

2013-05-03 11:34:29 -07:00

2013-05-03 11:38:52 +02:00

Update E prover

2013-04-21 16:30:40 +04:00

Adding doodle.

2013-04-22 20:57:14 +04:00

2013-04-05 00:34:14 +02:00

2013-05-03 11:38:58 +02:00

2013-04-30 09:27:02 +02:00

2013-04-13 10:31:36 +02:00

2013-04-05 12:50:42 +02:00