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