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