nixpkgs

Files

Peter Simons 288d01fe2b stellarium: update to 0.14.2

This patch also fixes https://github.com/NixOS/nixpkgs/issues/13582.

2016-03-04 23:05:48 +01:00

2016-03-04 23:05:48 +01:00

2016-02-23 14:03:56 -05:00

2013-12-18 18:18:22 +02:00

gtkwave: update to 3.3.70

2016-03-02 12:42:20 +01:00

2015-11-24 14:45:15 +01:00

why3: 0.86.2 -> 0.86.3

2016-03-04 09:29:10 +01:00

2016-02-27 17:30:29 +00:00

2016-03-02 09:41:02 +01:00

2016-02-24 10:34:22 +01:00

2015-08-29 15:38:33 +02:00

2016-02-19 13:16:41 +01:00