File fr.inria.coq.coqide.metainfo.xml of Package coq (Revision 8d7dd716ed5ba99fd1a328133e52f325)
Currently displaying revision 8d7dd716ed5ba99fd1a328133e52f325 , Show latest
Currently displaying revision 8d7dd716ed5ba99fd1a328133e52f325 , Show latest