libcoq-ocaml-dev 8.4pl4dfsg-3build2 / var / lib / ocaml / md5sums / libcoq-ocaml-dev.md5sums

000688c9e52cd6f97b8757c23bbbef3f Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
001fa0bdf37669f3e0085dca774ae7ac Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
00715af9a6bd28cbbe887eba0dc9f6d2 G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
008006f3e8bd8a7988e5841d5c6aa36d ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0161010917e8af9179c359488d09a6d9 Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0283e2c521ad997d8621a5a93b40f3b9 Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
02bdf7acd3b2242b7df77ee07abbaf72 Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
02dd9dca6d5e4100540034686d7d3f25 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
02fdf015e2dc7a455af17d42583df57f Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
030a59d780feadd1fddc931bb996a4b7 Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
031c0e1c82c0daced957ad366ba0a9a6 Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
03d300b5e28d804e838dd8892edd5620 Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
03d804ac5672c2a73b0fdfa6680a10e3 Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04199f41f5f12c915c4d7e150cbc4c0f Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04740a815d7e2cad09ef32df65068876 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04817f58eec32fa39895c62ace1c21c5 Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04a8c32ffc333c3d8bfe0bbcddef79a1 Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04a91cfb1561c42d32ada6ef446ba518 Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
04c29715faee30df3eacec90f7704860 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
051318973d442aa9e1f137323627c769 G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
053cdc99220ad5ae5f834dd5f7c6bc6c Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
05d50d634cfd446fbcf5746fc9b6c2a9 Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
05da4d3a9cc4bcb0c940814485724bbc String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
05e92081465ea55c1d46495607fc908f Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
05f56b0736d8c54a88893e8561d3063c Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
06443187fe7711e12a09ee477faf3bf7 Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0660e0965fdf51e87ac2257e7155fc0d Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
08947c781cd6a114175599db788dd965 DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0898e70b8308c5d6e25bb65e4a87cf11 Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
08a68785e62b68eef04a7e551aa2ab4f String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
08bf911986289356230ec47d5f850ae7 Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
09781899faa0e837cb5d568d69528ff1 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0a1ed287e6cb5e4fdd29ee90f4d251b4 Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0a953bebd5ab5ac3d93aeb4379ac01ee Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0b0f86213bcd9a572b51e0529b8b9bda Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0b6c2b702f2207ce67d954cbfeb88270 Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0bbb304d23def6058f2b6082f8fd75b0 G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0bd64a538e01e207f2fd2598bdf75861 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0bdc349ff09dd676d6d9011388291e7d Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0bf55f55cbbd865ce6b016db1c5ead73 Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0c2f931a72be00904c6f1449d70668e9 Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0c35c2fd8323c0cad5188982ced6d1f5 G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0d6759dd636338d39150a2f9270824af Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0d98416a3869d534e264092caf23f5eb States libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0d988731a08a5c6c3d6e5255cfd5623a Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0dab5624671f4444bac0d9f0d19739d5 Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0e0769422afaf8bb838dc0479338beab Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0e8f76b4f44bc789494c9abbda69f7c4 Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0eaa4ea91ad849dff2bb04d82aaa8eb8 Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
0f37bd31222a23378111307e695f2b24 Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
10737ac42317a00909705297a6656a1a Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
10ffc0a85dbf3540ab3022ca06f5e9c5 Class libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
110b4c64bfdf358784747c2f2ac942cc Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
118cd41e3321be6c23464f0421d6ad4f Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
123d053f51b1b2e6a5e75b8dd9a15fe9 Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
129816eefc0c9dd30c1c368852dba614 Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
12ed6cd72311a60f8e442300b6cd18e1 Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
12efa1ecd48f0c9a884a6200f63140a0 Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
12f7b7220e28422dd9d1d2ac5905a893 Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
12fe2d73cc8df366338e198b2780583a Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
13eb24be9eee0a59c168e9493268ddb8 Common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1433bdd2d34cadfc7522506e06744e0e Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
145585efd37a252f2e7ce9d40ac1cf57 G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
147c2288083afc91352e53e6e34c9478 Table libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
14ab026ec954ef98f89f8c29d3476cf8 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1584ac3d9905dc985a9b1ce96f3a69c4 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
159921efdf1fbe93f2533b3de26533d9 Search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
15f879559e68518351ef04535c5901a2 Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
16020e8186984b7edcdb4f474614611e Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1626c6a559bc3a7a20be25a9eff59dbe Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
164899e7f62191e1dce3572ccb9a0f46 Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1698bd02c5d1e22002b0cdf7c23a6619 Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
17505dcd7aeb9200e096071222412664 Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
17d9921c8a7359026d361a14f93a2756 Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
180963bd652d1bec5d31247850934d1b Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
18281794155d71fef929ee4233602988 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
184614adaf884314594119ae8d8c7c51 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
18a1f995e1f3d59cebe9230d8a6a3875 Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1974022a62cd3363e868a72723e8c5c7 Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
19b0a0f6b9126e88239e8279a3706e69 Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
19ed25695bdfc2db8bb6dba74dc6d087 Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1a1d716bf19fdb45acd35181b00a04eb Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1a4b93f1c06fdf0edc4fc4196b1f0609 Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1a4db7e1e9defed4275ba67ffc428e1d Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1a7eb7752bb69446dc2688d2461f42d8 Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1ab9ce3c8355aa1d61d2ab1e066ad6f0 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1b48bc9efc2fb15fe63d93aaf9558176 Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1b671f1dc63bb99cb0d70be7c985c01e Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1b6b6f66d8164e7a19b3fb59d265a849 Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1b820293d8335a11b366fd3a93475e1b Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1b96b550bbd93e616335678fe483e585 Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1bca07e87319190d4df37223eeb7e2e7 Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1c1ad202afe96381e00268f0726a14f0 Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1c31bdac6242e35bf1db11eba4532feb Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1c78eeebe850a0869e408e6505979529 Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1cc1b64fc159d4a9e06c7e2be63980c1 G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1cfac1889819e91867bfbb643edd41cc Store libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1d7d95158da76001ea79b2e1b3de1bf0 Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1da9bf07a270bed36d6dab825fc091ca Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1e074be9ecda7d69bcd57eea64646ba9 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1ec17364db2e2062b125480281d5c0ae Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1ec60da75172a8df60ef077a7b9585ed Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1ecd456922f8c6a2a49ba6d122a245d9 Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1f13e53d7c29a18b6474805353d95730 Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
1fb3128de3c58653deb0bc3197cff7a6 Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
202261a44b1d95d6d72097b02efeb80c Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2035f051f1b70ea5130aec3b569d26b4 Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
203aab37d2626440005f53c0df465808 Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
214bb70159506dd4b6d64ea91de80830 Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2221861aaa631cf282e800ee7dd06f65 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
226e3b7308fcfbeb81b31acc9073cdb4 Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2286e08a0aaf833adb3d1ae5e216433d Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
22fbd7bb5028f1e5316d16ad42ca9826 Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
23e1fd0cf2c54d6176c46541fbcbc92e Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
24240c3c00f82ff28e48170c1486ed7e Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2537a2c81e7678e84d50c32c69a7a080 Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2561cd67ad0e1a0e75f305e81e6fac70 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
25693f7e0fd4c313bb6183e631db3261 String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
259065cd729f20c15b38722b2c84cea2 Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2636b4f7ac6da170c8564c898c69f0d6 Util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2636bea0c150f2e5b65c6b8a02daa851 Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
26ae999b24eb78f7b9be74417f99c9b7 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
26c59748c3dedb9f63bb586eec558ddc G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
27309ad618c8413f27807a3598648d62 Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
276b49fb0d270d4285043f949fd90ab1 Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2787e1892be8b19154314db007c51453 Sos libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
27c3db15dcae704f8dad1e135d2e86f2 Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
283d679188925a76078e410b686fb1c8 Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
28b4cc912d42ea84ca956046af22d80e G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
28dee0a45ab18832dc7a39fc139a7903 Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
28ebdde8f4c940288247a73b36b41a5b Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
292ec17ad36226ae170fd41fb68cc3b8 Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2a057a6bfad97bab174685e0dc6707fb Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2a6338ec0fb707127d28a9957f5b2aef Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2ab211ab4c62e11436def8b472eb8d10 Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2b08a5ca4acc24a57e3bc18b2a5014f7 Global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2bd7b2e67d1052e9a1cd25d37bb0c4ca Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2be64c93e4d0a7adf7a1a527962bde3c Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2c46531b766fc8dc1d8c2759808f9f3d Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2cc77cb06f99f68265ff01dc9e25b93b Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2d7a764515902dd1bdb356662cffa6df Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2def628aca984192dcc400d1e9100bee Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2e2bce999f5eb23c7e737a3b1a90ce61 Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2e80c47046d6d76019590cda965e86ab Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2f23c3f2184b891d28c8f7da451c6449 Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2f64a08ee3e7d6d81ba1bf41577f8db2 Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2f78d3e3d629e49a5354981da8ee74bd Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2ff996e3a3fdebec23bcd97d0d75f878 Goptionstyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
2ffbe5c34a87f203054062f13c5b210a Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
31481de5a938f15e7fcbcf0a13503aca G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
31b2212711b21aa99557d53787d09d67 Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
31e2710c5292e5e8de26c3ca7d19831e Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
335a50e74111556fc41c9672e37383e0 Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
33787dd98beb862f523ae0d001f85c52 Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
33d590e7e05e68b4f6772581b9659da5 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
33f37d9aeedd16ee5d22531a728b16d6 Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
34584f764e8d68a3e50dbf99da33059c Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3566f467b78137e3503ff77ebf4bf46b Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3569f668a2d7a8ae0b8c0f0a6fdd0b29 Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
35a69b2816d6c97712bd0a8bfd9bfb2d Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
35f0a584fd56f28baa210d8138b94fc7 Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3658df3e56cd408b0d1e2195639bfddf Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
36c99ae9fd23dce25850ea98281fee8d Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
36d24c4f7f437c19e7d05dc81785b977 Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
36ee9b70e1e8cb45921704465888c026 Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
372faf11819199b33757397b8ed78448 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
37a506cc70115101afba228960132234 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
380698de4b06d0eb963dad89fa7e05a4 Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
38074c653cc37cc28c810dc62b9ee120 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
38dbd5ff9bc075322fa29be3991e4efd Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
390e08793cdd2858c7bc7296560159d9 Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
391321e2ecaa7e96759078c38d8f4a1a Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
39774053c8b50976f891cbe12c79cd89 Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
397b3450fe2bdababbef3ed43772913b Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
39b2315d0d5a843f4c7d45b711e482e1 Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
39d54bb19c293eb5e1acf61cd6ab2e6f Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
39ebeafe54a3f28ce525a95db111e46a Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3a03c3583809d85e8239d3085bc34cc4 Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3a3f13dddc99452d63ebdc240cd7c048 Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3abe0573a8d8c3088307596984841ca1 Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3af5562d386291cf3bfa626b5be4dd29 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3b3f11902c7b2b6bb307f8c642d9a8eb Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3bfbfec5c16cdd4e622420e5ff9ea60f Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3c279f6545a80b4b30ce4f81a86fe0a1 Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3c790dcb6f13bdb3d699a861f9b227e8 Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3d4131a8ba9d444adc5e85aca7f2f074 Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3d709dcd1e6ca14662f4f52f0747cc55 Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3d83a6df5fd676d2f3bc479ad70df683 Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3d9a3f28d2fbbb8e5c1e8ff2c7e3c939 Term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3dd4327b55e8938ce08c7910e920658c Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3e3a071dc1c83c26c7da6c536d723de8 Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3e79181f9cbbc543e150f737462bcf50 G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3e824c5193607ad4e97c3fbc90698d59 Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3e99b3983eefdcb52ae1018b24f016e6 Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3ef58c522c0aba714208d67f8415f0af System libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3f8770f37e5faf2aadcd72e805257045 Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3f8ef87994e27649fa6603fb0fd4b70e Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
3fc4e9e046e8ca5ed919e474b8308da0 Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
40d24c1dfc8112d8920b9b3f105cc69e Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
40e4084aed151a59c21d92d999b06aad Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
418128d8ea57fcabd0b3c3de5c3895d0 Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
41b91e54368057afc7494e034ae579a6 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
42024c9a1323aa399713ff3979f27cc5 Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
42107a42e5a5bc6f887f4f4263014661 Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4224b0b7e25b9e55075cc9c64cd5bff6 Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4229ed335aea4c54918e94e40c70bd14 Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
422ba206e9d4fd8b783ef9c4616f55b9 Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
42475cf7b0df3305ecfdee1f5c04fa2b Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4277d841fc64e42cf2ac0f84fa8342f5 Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
42da5a00b0dce4522d5b8bc28b130c5f Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
434b24c6643fbc6190f85bbabeca7ecc Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
43905fa333062ca9dcb0e15795097d8d Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
43bb806ede888ebaef510ede2f64ee0b Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
43e05e63f75e6b6490d832b7fc054e34 Global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4415e347c26aac92495cb5ef86681e0c Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
442d379fe91e9968061f50d66cb84551 Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4436764e39c8648d7e96143b8f1de9d0 Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
44369c9e87046f36da78d9b5216d6aeb Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4459778e9b6121d094b5e2ffa2e4e31b Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
44f91d3d9e6ab45cff0b79568ab1f77f Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
45134c366c417a6fafb6c3d1eaa7409f Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4594d54aceaad5fd69410968d1dc7ca3 Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
469dbdd38414469f49dbd8c53ba5beaf Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
472508bcbe6bd0ac549d839926ec4b3f Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
47e4c463a389300d49bd0a7bcd08da8f Miniml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
47f8e0e386a880a79b4178aca983ca04 Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
48211722d2cbf14bb73df2d21dcd6905 Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
487e1bb3988387079c26f773b838d516 Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4886e4b43923abbcc6f09bbce646036d Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
48c6e2cdbabb0653a6d962304cecbb00 System libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
49aa048bf9c2cfbcc69716676666b0aa Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
49c3b6309a963f5e15e115a1b224d9f9 G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4a1874383f58919e6099a9afc0563a0b Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4a5660440a39218ab968fbba908b9f21 Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4af9f13ed9fe873e1a3bf60a4254a552 Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4b48c407c68efd6edc3385cd8d475c33 Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4b8ae4e83871f249885f4404fa1d53c1 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4bbcb77c0b3b16c0ca760451efacb22d Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4bbde1b2d2696cfa28f2bb767e7ebeac Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4caecb36323987469b18876815f8531d Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4d105edb8061785051f3230ca3d8773b Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4d3abb9896ad3fca4985cbbca78316c9 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4e7ec94aa8c8c463c163e243a0059528 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4f0d681421455291f4ee961806dad6f9 Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4f19708cf2fd6a3ce3dc1839bd27c414 Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4f30ee83fde86f9e6578b23f167ada58 Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4f57a8250f20bcd1da29eccae8a0315a Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4f83e840a6cf27897dc7ab9088bea75f Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4fa09c91a786ca01d2d52bf6f90709b1 Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4fd2e9664a34954a8f22e000e1b7f709 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
4ff5c554c85033040f6b07ddf644e331 Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
50d7c2bd02891fc504e06ffc41d705aa Table libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
513080da5fe7b86e7163b7f70757217b Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
513b5edfcb45cdf0f73482e32cbf3d97 Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
517270d481d4bd5d389025c254b0541c Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
519941c29b3a7fe3c9b73b7ef2300b9a Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
51d945621dd43f12ce9a77b288060a07 Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5278c5a9720d1de0ed5c3462cd8c293b Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
52c94d94678f5da4d44222759fdfde6b Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
52f6d4a8e2b46d8c235460a04c9eca2c Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
530a290394d6541675c5394a398156cb Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5354636ee95c1d436b276b8853f05ae2 Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
535ba79e8c80527b59c618b56f211de0 Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
53f821da014ade9b84c34af48f9232c0 Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5506829357cccf0d7f37818664005a66 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
551eb51c535402feef53bd22738bb68f Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
55cbd61e433e9e1d6940253ea782e5d2 G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
56913c3490e18b423833f1468aaa3839 Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
573c861be23346b01040ff069828bc4a Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
576bc73c78ac8ac5d0b94534490650d9 Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
57bc2bfa84a59e41511f6a61c2fe6158 Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
57bd869bdfc7ae02c96c9e39342870fe Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
57e0a04f1cea1c68a9294cb9eee354ca Store libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
57e6e93726b22d7f6b9f95304c9361ed Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
58362c14a358ccc21db1f602f80530ff G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
588b0ba55cdfbc95e38a12bacff76839 Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
58aeab79048e73ec2d514beed228d785 G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
59437f6421e955fc1ceaebd2ccd38b42 Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
599e11f635a24b80276246eea6e898d2 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
59a548f005b51496794dd99b47385182 Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
59c7ff2fb95a1835b560e4889e8b0b8e Util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5a60eb47a22856d3860190d2027a8429 Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5a9ee2020253d5f056484830798a9cf2 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5b1bfc63ee41f6004b80237b25d042dc Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5b7cd4b516195641b1b4d8fd27f44c8e Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5bedd196ec4778302aaabe6ec5225c05 Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5c0f412bd6809b5734d96dc017d07caa Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5c89cc7e03e5b3f22a6ad5ad83272c8c G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5c9f0f6b1048ff110bf0a9a9fb18393b Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5cf2858f0221e6c7982857a93ad0b39e Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5d529d1d7a963ec96e7e77d0c417a0c7 Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5d5e122055011f4f7aee7f826b45d40b Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5dfa62b9f2d3660f3a33c2bc7c354c66 Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5e921affb4f61f93c9acc09ed6782b04 Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5f549c96fefd94205f78d3da9e6b22c6 Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
5fa95319a56c5123ac77f4fd8490900b Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
600e6ff4c1a7b734734dfd8c42421fad Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
603ea5c8e4223551c880c82cc0cab202 Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
60c4b4c25303a12118df1b6460e86c4e Class libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
610ae6f57d7b3266dd98ac0dd471f9c6 Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
612b6e425029f8b39018565f1c3da3bf Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
622350fed03e17ffa7d2e258bbf2bf95 Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6263ae96b20a47ab2dc523361d2e9c88 Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
62892a6eb237b71467ed926cd083ea30 Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6429f88b1abe3cf7cf77205834cd3d46 Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
642c5f6126ea619590c27cbf6c033f25 Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
64867f3f5c375b13d5206fc2822a14d8 Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
64d57a4568d2fb1b3dc387cd41e53e60 Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
64e8eef29afe139b41053bad03b4eba4 Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
652869fad477d5c7476a9b4fd2008802 Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
657e92a9672c3f34b8832919e3f70aae Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6595725bfee480ec3e75847db505f9d2 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
66809fa6b962242671ac049eaa804b3f Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
66d17ee08643332e994a6ad75d94c2bf Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
67063b955f140dc2a86be86030689bd1 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
67401a7ccb48dfedcf62b73b4a2951fe Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
67c3233e2f7000d8b10ff6e4cc049391 Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
67e9963a3da7d164a44c29c3bc4b6264 Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
67eabf6623882f9834a8183c0d41ec64 Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
683613a1f43a6524afcd9f434049bdc6 Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6911f2beb6701dc499044ba7937f8b54 Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
696ac697687dfc60e35f73f45183cf68 Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
696fe23d05f529bb4899a312e696f1f6 Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
69929a111e0bf8b862e3643548056ac1 Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6a1c75274b8cb97191fe01e22b76a827 Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6a5acbc374634ed73cff5a86c46e6c30 Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6a745789255603d01d30ca86d84f9a4a Argextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6ad67569ff9bd96483a95f99e77b8ecd Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6b0b5494518b9702481ff0733cf0133a Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6bd0b366d29a2af26e76280efa7f407b R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6c467456031a3b74f673d5d94a7a5d5e Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6cda2bd20d01df2fdbfb8ade2461329d Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6cdc1d22d6c52b21292607370c45fa21 Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6d23b64fbe8160d02ecf629d3930e96d Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6d83dd1567afcffb1b20a08b99decb37 G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6da41742252dfc13ef5bb7dd46712acc Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6e099182aca3cf0496ee17c2bcadbf12 Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6e21118baf38da709181dff689fe3031 Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6e4d6d354431c98dab64c6cf7a3ec89b Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6ea8cac8cbce36d4ed2d2ca895f4e8c2 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
6f7102160c5c94b37f2848b3b97e0072 Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
705ce487b14b5d3fb8aab368afaeacab Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
70cf393ab2acc373f1f7293fa789facd Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
70fa04d04fefb62bca73ede412f24b1c Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
715f05017fc369220d8eb3ba73dbbba9 Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
716652316ff3f1d7a661b5caff626832 Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
71c348fce12d70b2eaa4bbed29c2d79c Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
71d95046f7a355435356a08662f678fd Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
71f1dfac2abe029154c4fb2fd18a2a00 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
72fdcbcb129433b4bf36b65af9e15f6d Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7305413cb631196f798c4e3d9d02990e Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
733c3fecf8dbe4f164df039577885ffb Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
737a8aef7452e23557a3e11e92d871fc G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7419b595e4825493c5e1bb8b6a9061e3 Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
74c7554b964c5e34160bf5a7d416118a Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
75175362b5e5548cf88247cb12f4a2c6 Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7551327922ceb49a65e9da18469d5f00 Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
76ecdd19f61a1a959452927952d2d341 Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
76fe55f365040935bc8058d02267dbe2 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7734d957de45cc27391f5ed7a7ddc4f6 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
77d18286b1f3e3d3dec516b555dced9b DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
784f54769771c2e9f2767b9833f76b58 Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7897e528cf4b2088d56b4bc982abbbe3 Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
78edc5a0140dd1337540aac97d365b47 Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7986695df9bb480c4c6e4e6c506a400a Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7a29d7a9f637452db680aadced85146b Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7bc3c91f4481f07f1ce018d47cc05257 Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7c81b6ecd1a6a475d77a3fcb88c4fcd4 Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7cc7a87cbcdd5f27bc05a3a544efccce Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7cd6a26c9962710db18e2bc4fbb054e0 Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7ce502686ba1acbc3280d650767cf204 Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7d16d9f57f9550d69de709d88f08043e Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7d46857d5691764d9fce9e5afd9320dc Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7d4d74217f1590673c9c4bd3d4228d90 Library libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7e3d461dd93a8b75c84e0c9b9a7b4feb Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7e5ff1306c51bf63a2c5f102b8b052ce Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7eb88decb26a0cd0c0eafa310c186769 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7f354f5588e4c17f68af2f27296b01d6 Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7f385e8e7df1149df58417d5e31784cb Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7f4713354a4feb19e73dfedf7669aa10 Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
7f94197f071a72b212c17724974db88f Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
80294c40941747cf5ef480c5db005752 Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
80368904b1949f9fec52181f3d73a3dc Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
804ffcbda675dae6414338763546445e Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
80df0e8f9ebdfdbe01c5765aa4ad21d4 Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
817559dba49c673d57e7e9daf55a5400 Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
81aac3ab769133919dbb27d22b93daa9 Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
821d58388bf9fff4cd2e1247406eb345 Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
82508a1c73f7033cdd933aae4df20e42 Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
82765383169c101893bde9406e73f2a1 Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8276b037d1c547d91051418670dd1f59 Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8278d2bff1bd17b5fc75b2f488252b21 Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
82b723d499b45f524dc7ece331db0106 Names libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
844bb6aa4e8ab3182ec2f91814cba51a G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
845739441c1e2f0d9cb766c86324c7cb Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
848397a8e5b51288f07870215123dc6f Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
850b38f2fccfd0c9b6984209f9e87610 Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
852b967df5202f101985256fb45039f8 Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
85bdc40eb43573bf68a0a1a36dbb085d Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
85ed77eb623a71b2557d58cd3388ea93 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
86925d47691d1a9604cf63c62c0a6431 Names libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
86a860f248ea954d304673e27b573d97 Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
877ee72ce343179b43045f44d18b0dcd Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
87a695604e7a03de5187146f8b0ac1fa Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
882f72897d6cc107161bc6074a91eb95 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
88748c4f428c2a8afa0d8e9a7ebffabe R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
888fa5ad5916cc1f793ffcf828a3094c Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8934fc442eb595f72eef86b8ad12fa5c Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
89648a67018c95f88acc2c89ef5a7e14 Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8a5b4b26c36acb1ed7c2a065560bb15b G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8aa1c01709a6a20f5100aa3fb888cca1 Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8bb3e2d4546e4d4467dd0708cb4c52db G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8d9ef4f46f7732d220c86200ab6ccebe G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8e1356b41fd843d4d6111ca55dab0a1a Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8e18d4ec0f169ffb9744a44fea4ec02c Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8fc073a5b33024fdb60169cecf57f945 Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
8fd4f5fb6b25c2bcfcfb30b6e4f24d32 Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
90725c2a23c18c49efb45ce861b41030 Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
91698bc6c8b7ede88828eea5ecac9acc Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
930ac3a8a1f8e6b4451e4b8c92747e64 ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9326088e90129efff1e64dce948419b6 Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
933c4494174fc715b356ccabd0167e76 Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
936bfeb3e3845cecca471ebac8e98102 Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9372c37917cfaa58d27bf4a5f80ef6aa Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
93e0ffa4b247ce919fa8a8278bc75cb2 G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
93fb27e09cb142adcae2e66e8b6a32f6 Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
943ea9658585a0621b827b326891cd66 Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
94426031d98368c10083fa5c43e34eb1 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
94650b721c2d367ff857cfeca61b71c5 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
948dc8109223b298521a78d5672fda61 Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
953e4ada72d5909263434234747c68e1 Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9554b8e3dc166a892fdbae328d5a070c Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
95eaa06d712a13b64f15bb44406df852 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
96dbe3e3c87bdf7b562e9990533ca560 Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
96eec422cd323b2b54b5ac303cd0f7c2 Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9758d2973d03cfc6c4f1f909b62092fa Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
980dba718cfc0000f2b9702764e3e109 Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
982bc2c2ae47bcc886d5b66bdcfa08bb Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9871e96380b2ca92579dea5414c7947f Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
987204b5bb8e05f5796a0ececa3ad03d Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
99017f252675129088f4999da43ab2f7 Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
99a6caeb31f2e6db6188b3885aa4b820 Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
99a9f9dc1995c38aad3b2772b5c8391b Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
99aef670de97e7967f8e8bf5bcaa9f30 Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
99e27213976698225047e6a9ff158b97 Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9a5889b489e793d27686303c0852da65 Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9a795b660d624744b11c8f97d4f86bbf Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9a89178763a20bd282dfad3a5074b11f G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9aa6a1f963c0b93902215a3c33f7191e Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9ae4d3ff9105d82db7f661b2080880b8 Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9b31ba9a2205ff5beb8b0220cac1c671 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9b937c3b0091f7cac5e57bc8cb1801da Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9c7920204fe22257c24cbeea7446e341 Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9cac7da2965a760806cf1fdd24565704 Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9ceb19442645a93235674ba494344098 Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9cf0a7729cc0b9e8967bdc10be6f35c8 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9d6b14bf1c5ec8383df6c9701c0c2862 Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9d997524cc9e3c751d9ca5a4b0f067df Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9e78ff54b199ee9596f5f4a1b02b4c23 Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9e98b057e99e56e42edeb59777050141 Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9f8a353dbdb27d55bb1f75d65fa78d93 Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
9fb043daf6e397c0236c23a59969ab50 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a08fe4cda8198731835366bc665fe1af Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a097836abcc4198a3589853e24385250 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a0ae206afc3f07998b687b543550096f Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a170da55a8d3eece3f6555ba754e71e6 Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a1851f163ef14f8b991667af77d5cd49 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a2bcfac07c16e6316b69de21aad6a01c Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a30136c8adf72933a68fb1d134ab31aa Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a360c9c0499c051239a629ebc6d690bc Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a3ad85645d55d28591127347610b45d5 Term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a41236dc2aa398e96342f75439145d7e Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a4134f7e894281562c05054e908c866d Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a44d8555c74dcf7927709c200afc510e Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a45387c91431b764710cb949a6806b8d Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a4588cdcd49e9cfc990e0fc7bc0e9725 Interface libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a4c08ad6f33ba7eb73a14004b94b22ca Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a5622a1ccccf5a66cd08d532f18bfbdd String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a58df38e89b788ee6ed799ccd4594266 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a5b96adf6dd92b4c64a5c42ad8bd6a6a Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a6087760f5145b71598048ee28cf8c1b Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a6c5202dcd3d78f80824befea1e09129 Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a76cd0ee1f1e67f2c4768b2abca10d07 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a77b7c6d154256410ad20a58827bd954 Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a7ca81884a7ea3736fc64e16030b30fb Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a7d1c1dfde2caee8d5be261503d8b49a Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a8ef0f82ad0df9444e473285790f3dbc Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a904923253d891e6e226f8fc8e514bff Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a9205c06a77ff467b03bbccabf40f070 Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
a93abcd2528e3b8fb8484d66479d80b4 Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ab4d8f158ca1fbad396fd90da7c7e31f Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ab88d8a845563e7e78e73208a00d1619 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
abef2a8e2188a59443fd84c46c029aa1 Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ac15bb55268a8bf82b2b7b3a26b9d5e3 Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ac7ea01371c20d48b81aea29d906a2d9 Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
acbb0cd856f5a263bd25ce772ba1e280 Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ace9ae6b943b1d9390bc48b747cbe064 Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ad15a87ef572a66c843d8ccfd29e9d6d Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ad41dd1dda20ec2bfaf4145a66bafae3 Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
addfdf44552c5786730078348a11127d Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ae4b55bb7d75fdc8bd5f05062384ddc2 States libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
afb51d03f3ebd53d3347d2101d2a7f24 Search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
afccd04f3d8a0f14d9527c8f6711c0d9 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
afddc94545140ac6d0cdea3d483e77b8 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b059883f9146e64dd6eafca71270df7d Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b05d84a1f661365fb633e7b81d711804 G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b081b9d5eee511655d95fe0bba4a9f4b Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b0b1884f3d4374671486ceaef76dfc2d Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b135a737fd9ab826ccea65cac7d6b6e9 Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b18a45c5b2c43ff1d6c880bc8f988688 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b203589eaebb0f3bc20ead0eaede8448 Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b2098b33e959abbdeb712ae2a55e8e48 Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b2462903a41fb7c3d73d70d0dbd6c891 Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b302cec89f8856a13838fe73f47b5161 Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b3834d118700bea066c9dca2f7863f76 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b3e1b63c1549dab819f0e1bf6b77a4d0 Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b3f72ea48eb0b7c7cac8142a0521a499 G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b444b883b8d9f469a679dae28d4994f2 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b4614566ed8ca3cdd664a91dde049e63 Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b4ac114575d0548d3a21040f3d94e193 Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b4baaf46572654ee5e375602c60e51f6 Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b4f37d5f5a0806aa3d2dc90b6c4928a3 Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b536ea8dcf5a0b9727f4cb171f36335e Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b541dc1f017d2c93f3b9c39cbc935ee8 Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b569bc8b1aa39b587144a5e3178e3d39 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b587579122e21273770e86749e5e2437 Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b5f9b1dd6efbbd737b999e43666433a2 G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b6422e4b3bfbe4ed92fec883910579a9 Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b6b0fe056fc22399481ebf709705800c Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b7bbf86f88a59866875608401e5bab97 Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
b8120c8a9f61f5e825812e8ef3dcb79b Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ba6eb8d6acd666fddba93221fb6e5e4e Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ba98cc84f66998c4a3abef9b100048ad Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bb27156da3d2e0ec2d95a640147cfb13 Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bb52b7e40a2b179a130ce31ffd21ba3a Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bb96ee54282686245a68d10f729990d8 Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bcd5121150a4bd1c7507c40007bd930e Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bd2d7bca878e20c34835832c6ea77bd4 Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bdb04cc2de01d3f69bf5740314202b7b Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
be39e4d17e10c9e3bcbb3fb2b51c1b72 Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
beb0d0772b566d4bcc7b8ca97bfd5500 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bee0062a4a6c860d5627f27c75c5abe8 Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
bfd7b02060b60b3935e37754ca0d9809 Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c025e048f8a2b554bd63f50338dcd8e8 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c05215044325184c2d9626c436322fdb Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c07b599cd12c53c287a262217f3fc536 Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c0c8ea247e6c74f152229073ab88a8e2 Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c107f62ef1bd9a8f4dd796fd447ab973 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c1612362d3994dd23abd0799f16aaba7 Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c176486dac62de0d819016ec10ce1993 Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c17ff72086ace7a4fe78732033711f5e Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c19d33da49880e5aa8af9779a8f028d3 Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c1e6bbacb5aa5130666b4795d4b0fb05 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c212e14cf28c3f4333ec2d29babbe36c Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c26ee30184964c2ff4d7153e1c2be0ac Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c2acb9e4e69cddded07fc9d5564c5b08 Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c3e3dae7928ad826d3c6cb8fea316332 Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c3ed2aa2aed33fa6f133e9d78c75fac2 Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c50ea1469a1cb4744ecd743e4a7cc838 Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c5dfbe640de7678f6db756739a0ff704 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c5e2f5fb58d4c11a3982b092220c91da Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c7923c1b4b3a941348d646ed33f55ae4 Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c7e8672a44cac018ca0c5a2c7fd0d1e3 Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c8273a48c4a8be4d11c97a777f68a042 Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c8d82fe10f4614df543dd1bb7adf0d77 Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
c925c92d9112cf6a99329d586ff06472 Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ca1c6e512f4304c26a94da36b2e5e267 G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cb156f6aa872d0715e1fe42ebb54e302 Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cbc79fceab031224d20786c6e7ccf6e9 Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cc1f76a54005fbcbf9c2832827368cc1 Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cc6167d8a93f33723c34b0d89b4506c7 Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ccaf20f0b940c92afba2e604a22ff638 Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cd7833420d9b5cbcfcea38cdea29054d Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cdcadc0b277b4142cd84acd869824356 Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cdd7e0fcaaad7915642bc9e1dd7ef2d6 Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cde3a6f3369a9d746bcf7a886b662cdb Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ce0f8da6db8b863d2005b3ab20978c1c Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ce33050723d6c972a101f9dfcca881c7 Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ce593a8f6bf6c857189006c9f986324a Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cedf92a2fbb69de0dd839e765d3e3a8a Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cf0aa4f1348a87b20872efe3696a7d39 Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cf72bfdd411a6c55faabfc717921addb Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
cf8ced347fddc2236bc5cdeac96394f6 Q_util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d0836573145820fa5bb9f30a066cf42a Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d0b372800ba09be0f0d611a2ab26efa2 Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d1f054255661e5a30245b25e31a5d26f Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d21fb1eb45ad19f01b80ba11a8587a99 Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d24b574556fac90a1a242ce75b1d1ee7 Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d2a9b2a36008bec83895cea6d45cf005 Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d2badc192d46b9acadfc98b1ab670a07 Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d426f4856b967b933d39335dc6cc3210 Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d45d5cb50e82ca9904ba9b43a019ee21 Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d45dbef25fd79b24b523ecc7710b4ab5 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d4dfba521248b2459011755ac8740282 Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d53adc269cc770539506ad4e1fcd353b Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d5693299a1fec534774c0e5fed99e730 Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d57b04c43e0c55ba3c657bc075d59450 Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d60e14ccbf60b140c560b0cfb3f5cfcc G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d64c1d28461018128d71f686fd511e06 Common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d68db01dedb4181b3d77755d806ee251 Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d69e1c4d2685e5936b38d5b3aa37baaa Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d69e94e86ea46ef3c8bb0c83565b18c6 Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d6ae46bc1f669c4da53d9ff1cccd5c25 Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d6e151215715f4e961ffa4c2cda4e196 Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d72c9aa67704bf0c915a5b73a75ad848 Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d797633f34029951e82adf9db38767f9 Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d830ee9c4558e6fc020505dd59564ac4 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d86906ca8e6378cdda236a6e3eb62858 Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d8cf8444e0643652975c86125be12b43 Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d8ec9429c010bfa052151be9a030ef09 G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d92cc1d242fd466b052d05c16c2b89e0 Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d97830af39a57ce5bdfbd055f37b4969 Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
d9835dc17145cb38eaa95862b4770720 Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
da0e48b7ca33a0116842689549b04d3b Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
da1fc3ecb4274f8dbef70dcf90a6ef94 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
da8ace671c1283d9c5715bf82e5fef06 Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dacb862557e835442596e7bbf3a1fbbd G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
daeabc5ef9ff04fe320ea964e67571c3 Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
db9841087c9200171c75d21695867557 Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dc2f046412c4fc650e2ba3c5fc5a88c0 Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dc579a039129927b1d08c8ae63706e95 G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dc96178a773b48e65f569321b65385a4 Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dcf24d4f2f0e9e79b1ce3650f5f4ed44 Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dd13ee60b6b3614355a49faf16820b48 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dd391cc60ee5e2ffba8ea1c676771161 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dd4a2b5cc928e958a6b88daafa52908c Q_coqast libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ddfc2b04388d6b53ea52d95bb4a1d2c2 Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ddfd4c17861577806edccfcd6cfcd4d5 G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
de0c1d2a9308c907ed95e3815c997272 Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
de2c81ddd1168986f95007fa6820e946 Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
df35e4413a7296805254f7d0bc53d18b Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
df5479c4f77de6425a3c1e73fcc23d52 Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
df565e574b3839bdfe31c892ad303fc2 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
dfc87fb07e507af55044152760773567 Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e079063b4bdfd6113f7f4c5dbc3010df Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e084bbfcf9beba25e66a6399a63ed060 Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e0d9fee5792e51c88dc8461d1f899760 Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e11acf4c7416bc516135cb094591be17 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e18cd43c51b5daab650ad644c1ba4a5d Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e1ebd9db54dba8d145120a351e7a5174 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e200677355f4161b1993a5e9f49c9eac Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e2c2979714afe36476343ee85a2b5f84 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e33cc2d2ec37d9030b89aded292ccdd0 Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e36e8e886122aea9f006671931e546a5 Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e43c1e817be83d96ea56ba02916e427d Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e4765abd5e44a3abdddbd1bf86c19533 Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e4828c65cee56a7db360958ceb2f2323 Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e4964960605a52bc75b1f0b4bed5701d Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e49cd436048a8374bcbf06e9461d95aa G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e4ea28522f0d24f25ec8b2a7161b7539 Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e52c3325ee354fbc1de4ae67f300a5b5 Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e64805b55be4f222cc6c916640198939 Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e67cc90671911e1180f9ece6b500439d Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e78bd8ad123c2ffcab67f6c5dade44e8 G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e79e4532c8d9b63dca554fb57b66201e Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e81c28e8935768b35ed68a185905aa43 G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e832e0eaffa34e00b7a861b6b93b2cbe Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e880cae268dd526efae05be447382e46 Vernacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e91ff82d91e4f1b449c42d68f39272b9 Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e93cd9ffcb64513cfd601d205209bc6d G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e9ca0299029f790188927812b3786cd3 Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
e9e3527b70b572bce0ccd35e5f41df6b Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ea4317a1a0f3c5fe3e0b618c914eb9e5 Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ea985cfbab1aee3771178c1e5cf35b21 Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eabe393d7a4e8f0c344928402865a945 Library libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eb394b015d12c1198d07c47ae1a91d71 G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eb68c3ec6b003581901de3b34981996c Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ec6c7a2f3b0b86d7c476871069e27dd6 Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ecd9f72e46c1843ca5a1c6889764f38d Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ed19cadf5fd5f3416dbb12689d879738 Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ed32a81a0e3785656c500e9559c6f85f Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ed93a1d16425b8567e7b2d272d5510e2 Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ed99b9ab5699dfcc690a8d53272c63f4 Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ee070c33259a1196392b7bc50d8ac3f2 Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ee072b67973fc5eee39ce09a85269b9a Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eeae2f526540eb93a72bb12ccb41aee7 Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eecffd9e26bd20fa9867be6e9f1ed020 Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
eefec590311fee00506fb4b9bb640ae8 Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f11e50f776a7eda3850a15b41848ab2c Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f2dbcfe52e248af8c7ac17a03261250c Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f39fcfb61a38de40077f14c4c81894ff Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f3d53f28393a76168749279a572538f9 Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f3f54a9f13bd9cf20468362251cc9e38 Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f3f68c25b0d1532f4c6a870be66d0c76 Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f432eda31c7db729a326d113cfb3d0e9 Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f458fc36d296bd99a1809ea1539d60eb Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f4660df60c01cbddbe6584d578935376 Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f47c3aa419d0fffaf0b657eea2255ee0 Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f49aeb78a70de729d48efbebe513b49b Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f562c994b019a2da43501755aff7c9a8 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f5f5ef316e600c61ea47df60ee3023cc Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f6306b7875376d6663878c3ce4e282bf Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f68da69cca57cbd8fffdc1fa1568e1af Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f6d7d735b446c8ba5a5caa8a995b66b3 Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f739d580f5502a6cbf91114005e73290 Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f74256957827ad4f702a90bf765dc9e0 G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f7447dea23adebe1342b1ea865061ca9 Tacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f76fc7d0f1330340b406a1374e878c6a Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f82c68aaacd02ed1a5a3bf1179154ef2 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f8c902f133a71e03c68426b8ecba8c40 Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f9475474c4b676ac421f120873a5589a Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f96d441890323e13768fe02b5f8804ca Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
f9d5358f1555625885dcd19cfd2de9ba G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fa86c9f2266039f45ecd562f7a1c1e93 Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fb2468b2078e2a285666782790064929 Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fbe939b192f553efb3e8f03da9890bd2 Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fc05a9c0ce68fea4bc590af6d10de35d Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fc17923c302a1c18e497d661c27a68cc Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fc25d7324d49689a87b43ba2632beb9d Decl_expr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fc39814a7c98bc6bd9ce6d647bb2acdf Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fcb3bdad42e0cc0b4cb7b085b762abbe Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fceb3965c11ebee0e87243e028202ead Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fcf75f40785f09b2947032b0623c0b49 Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fd0a69c9da1b062baa90d69ab7b4bbb7 Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fd3e25a596e3cef53c2c2fe529804e99 Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fe501dac6d6c4f48d683ab4591398347 Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fe85bd8221b8965b34e42784259daf27 Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fe91c465e3c7347bf8073eda980ea3ef G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
febcece0a90062eb271c1f8437d113ae Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fef954e9654c6c10016ffc0ece1366f9 Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ff0bcd5ebbcbb87ec0e8b1dab7f60af0 Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ff39a114ba42184fb658c6f2f9ba1d9e Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ff66afd03bd7204e5d72e159e76bc02c Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ff94e7f65bcc8ea8571d7e115836669e Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
ffe1cdf965e8060ad7739f1282fb7759 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1
fff38d11fc0cf8b41ae74b3fb7530169 Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-3build2 d91z1