Disable ocaml-atd, ocaml-camlp5, coq, swig
-rw-r--r-- 3 .gitignore
-rw-r--r-- 5927 Goalfile
-rw-r--r-- 5561 README
-rw-r--r-- 29 fedpkg-user-config