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