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