braibant/opam-coq-repo — pull request #2 by mattam82 (2013-11-27 17:55:07+00:00)
Title: Fix containers using GNU-specific install -t

Tested "by hand" as coq.inria.fr/pylon is down