Vincent Laporte 59a184824f lablgtk: update 2.16.0 -> 2.18.2		2014-10-08 20:24:41 +02:00
..
2.14.0.nix	Fixes coq-8.3: requires OCaml 3.12	2014-09-17 23:52:27 +01:00
default.nix	lablgtk: update 2.16.0 -> 2.18.2	2014-10-08 20:24:41 +02:00