applications
|
nixpkgs: yices 2.2.1
|
2014-04-27 13:05:40 -05:00 |
build-support
|
debian: Update to 6.0.9
|
2014-04-25 10:43:26 +02:00 |
development
|
ats/ats2: clean-up, adopt, add Hydra packages
|
2014-04-27 11:26:16 -05:00 |
games
|
tibia: version 10.38
|
2014-04-26 12:58:25 -05:00 |
servers
|
Merge pull request #2381 from linquize/axis2
|
2014-04-25 10:29:52 +02:00 |
shells
|
ipython: update 1.1.0 -> 2.0.0
|
2014-04-13 21:55:27 +02:00 |
tools
|
gtk-gnutella: mark as "broken"
|
2014-04-26 15:54:18 +02:00 |
top-level
|
nixpkgs: yices 2.2.1
|
2014-04-27 13:05:40 -05:00 |