nixpkgs/pkgs at b553d116161dd9fa461d2b70328504095666c496 - nixpkgs - Fudo Git

public/nixpkgs

History

Austin Seipp f21d619558 nixpkgs: move frama-c to a more appropriate directory

Signed-off-by: Austin Seipp <aseipp@pobox.com>

2014-05-01 19:14:08 -05:00

..

z3/verifast: update license

2014-05-01 19:09:24 -05:00

pkgs/build-support/cabal: revert "the release version of GHC 7.8.x no longer requires"

2014-05-01 23:14:55 +02:00

tzdata: use symlinks instead of hardlinks

2014-04-29 16:25:10 +02:00

xfce: fix typo introduced in recent commit (s/gtk/gtk3/)

2014-04-29 19:13:43 +02:00

nixpkgs: move frama-c to a more appropriate directory

2014-05-01 19:14:08 -05:00

anki: update from 2.0.22 to 2.0.26

2014-04-30 23:52:55 +02:00

vim-plugins: update and upgrade

2014-04-21 19:21:18 +02:00

systemd: Look for fsck.* in the right place

2014-05-01 14:32:58 +02:00

postgresql: Update to latest versions

2014-05-01 13:49:31 +02:00

ipython: update 1.1.0 -> 2.0.0

2014-04-13 21:55:27 +02:00

Typo/comment

2014-04-22 18:42:44 +02:00

…

Fix meta.license attribute

2014-05-01 10:51:15 +02:00

nixpkgs: move frama-c to a more appropriate directory

2014-05-01 19:14:08 -05:00