libcoq-ocaml-dev 8.4pl4dfsg-1 / var / lib / ocaml / md5sums / libcoq-ocaml-dev.md5sums

002bfe9fef198d9d3ecd7ff98a34dc91 Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0057ee8cf67a8dbdff2ac011389cfdf0 Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
005c440f54f09a4c443997b8392a68d2 G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
00ab33b03147ea21bd708f02234488a2 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
015f0c85326e56afa71dde009aa7b8b0 Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
01ce267c825e4209039332e3e5a30f52 G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
01ef3fc06c1a443a5d1636caca815673 Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
02065540e81817a05c39b490af4e890a Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0240d1e840adc18415f799d2a203aa26 Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
027576ea57d810da35e219b60dfe9c96 Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
02bf067e96310e3c1566da3ae42e83fb Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
030caba2d3b5c2a0173a23c33738f865 Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
032f52ddf970f0b98be549dfafbd8835 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
03499c4da5e0d1243c04a0e3f1f73923 Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
040056761ee39b51a2d577a8a15295e5 Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0484bd86cda105a2b8e95c1403fff1a3 Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0638eec840de29cdc4888f0701bc0689 Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
067d875691e9b47446542d29e90d7e75 Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0869e1952cc14c48efb867b182d48cca Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
09230c918bb01e76125e06b1b7674f6c Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
09d36472bacd30813df242c903938b40 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0a19553f6b555aa7d52f704281c8abb4 Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0a47eaa97da4086115bb090f8b4207fb Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0a598efb0c581f149b680ddf68bad5f0 Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0a94b2f83036a2a8cb55e19f6faf28af Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0aa0ab42742699bec701a254980ad364 Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0ae643d0e5ba429d469c3dac4c04fe35 Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0aebd0df8ab03d6a42c23abe899576bc Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0b410b12d7f526034b3669adf5ae9ccd Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0bddd89de7c4164d5aa0e8246e359a4d Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0c17337e01196e3c8ee1f089390eb962 Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0c2ddceb9645127d2e8f36550aa233bd Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0c356ac7503d80b6d1b104c8492ef45d Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0c8c5db94ff588367b655b5a0773882c Names libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0cb0ccb27bef3d73826ffcf4a9178e60 Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0ce82d101b41714469d8ede789cadcea G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0d17a89a93bce9e6a721144823c2d83a Library libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0d2c9dff9d9b17c8585aa909d4b7bc36 Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0dec82b86bac03dd4ac22a23c299ff4c Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0df41484f6b597964fe0ac846900de9e Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0df9c88389c90d5f70264999a117498e Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0eccdcf552efe0f3c0ebc3aef4471a43 Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0f6bfd0deca5ae6dcde813dea8442a9d Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0fa1b18f939d8e86c05472c9ce31361a Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
0fbec80c5751514aa6043442523fb4d7 G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
100b2cda9efa308fd81a932b7b0fed9a Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
102682a36389267f04521e46110a6809 Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
105fdecd4f550c079d8a81654ca52c39 Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
10610129c08241d9152eea37505b6834 Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1092724fe63e0c8d6f50ec614f5e616a Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
10bb1c9e5d443b157eac79e723e579fb Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1120bd222858db8f7cb1791d42463460 Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
11adb2748f514d9282f9aee33285409a Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
124c7f28baa073ab794818996fc0d0cd Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1282eac94b4f366bc051564aaab630f1 Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1306928eb073902cac6a666842d6492e Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
14116e86179ce7ae76601485d19b02f5 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
149a2f9e7c045971d7489090918b7005 Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1515ed6b31d7bbd7f63900dd5c1ab4d1 Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
15293268555bf3f785dfbada9c6175ed Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
158bc8d3126241b76b2a25903d1e3eb7 Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
15dcf7304b9542a0b75cc42e0aac13a9 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
15ecb7bb44e9672c83dd496f5853953f Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
161611673bc6aa17e573a39568f4902c Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1656c0a176fd52430a18c7eb2b4fcf26 Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
16f64be7e41968a9f3c1f161cebee4b8 Search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
174cbe71f4e7eb53180ddc7dc02beabf Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1769d637d5c128405499e64c4ae6ee5e Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1778ed0f3084d15a708b4b87e6fd32b1 Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
183dc1fbb6bca1231dfc42f0c4fe8172 Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
18866c938edb3a2a2a35688d4cc81e5f Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1934bcc61042288871d2d56bc5663355 Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
197326dd9c210d4e9864085c1ea08a2b Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
198e113aaaeaa54a5e86b1db9e943c10 Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
19bc7cc332179590654c40a7af13c3a7 Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1a348c716417bf8419f6296d9c2c805b Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1a64ed2a0b2335aace63efa88beb5ed8 Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1a68c7b866a0c6b79322f0ea099558cb Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1ac5e600e67c36f110b9b4f0a9414658 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1b419721fe50e1683aa047a9756ae266 Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1b7181e41d2a0adfb9ee5faa83fe5b25 Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1b75637a536156c52ad09955d565c153 Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1b95d95d91a38f45987a8364e82d7241 Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1bbf8babbdab2b762ea23ec813341c04 Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1d499bf103127cec3cec2a6191bae167 Class libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1da5070c6ed425c8259d5480b0246394 G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1dcab32f6f22e1b21d1ec9dfb532d990 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1e017e3fb99bd1de7baf401ad224ef11 Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1e0301790170230e560fb1749e7853e5 Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1e38e799e35986aba9c27df08544b9c8 Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1e794a83b62e10530e176899a69cccba Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1f06aee28bc257db81495ada2a155c18 Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
1f66751f9cfd05754962cb17a5eb8b19 Util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2065f70bfdbe417a47eb9fbfc71715b7 Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
207ca4f63fd8f7d1441fd869df09eed0 Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
20a70d548d738de2e15ce3cbae278525 Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
20fda29a6ab48f6d7e56aa212b41ac00 Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
212939c65efeef6b142a5e3e7ba05e36 G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
21a5cf75f9106e28cd6f88431bd374e1 Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
21e525f1e94ad32fd78d7c99ec43b0bb Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
22144879bf9a591903dc3e36931aa30c Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
22198a00d47928e448da29257ab1abb5 Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
226fe9e4f6588a8e436ad63fb0753d45 Common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
22ac59cef812a7f530b0559dce10c3b7 Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
22ae6a8ac637563e878081d54b1d6127 Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
22cb300c730f252db65f6ba55992288e G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
23837039fd06a71df90164a6a7150ba0 G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
23e1bd1db9328dcf74d43b3d51239bcd Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
242ffb2e4066e0d5202bef97458fc531 Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2496db1c47f5701069bda155b223b229 Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
25837135d5e3a19d6fc6fa83ddee0d93 Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
25cf861edd24f22cfe66697d7a7f829a Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
25f281d715f9d79ecae8c3ea456ac778 Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
25f6b94c43641754b5e9dc83b8fccd13 Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
268ccd712675935b4add6fdf8166e84d Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2846431e14da66d943913c685c164fcf Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
28a1ec104596b784b8d460a62fa0a260 Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
28ec84d65adad500e3ac2928faac5f0b Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
29236cc99541df098293e4c214e4f8f2 Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
29766a183cfd8b83834dc48d9026b6ff Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
298be6e695aed1179bb935cfa255cbad Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
29b4f2071f8d9d96dd2fa498a575b3ea Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
29c42910a4aa0fcdf83d68ecd8be0122 Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2a33241b910b9aa7bf6797ea99a4652c Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2a366123d4207bc4e28f173591c8a80e Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2a5c92b54fcff2190ad337a9438ffd8f Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2aabc544cc236f52049d55f7d576fd65 Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2b4bed70ec0a084694370e9d0aef54fe Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2b7757aa091aafc4bbaa7056eabc12d0 Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2ba59253da23ffadb42a7d390cfc71f1 Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2bd6de1165601500ee7741ab1a6d0991 G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2bec96b21a2de4fa0432270e9df2d500 Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2bef49d207ff66f423f32ca19ca50ba3 Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2bf75fed57744dcb62502a9772890013 Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2cbf3c3bbe41ab8d257b3953ce636354 Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2cfd40aa9371fb61723745a69001ea3b Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2d1bc9e9e5011c6091d7f5b396f146ba Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2d54253e157645882042651497b8c390 Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2d6361e460783e90f31888539df9b2e9 Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2d7f551067acf0afacfcf1f792f05f5d Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2d840a23ca5523e2f4a32c2bc1875cf6 Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2dbe63bfc060bf53433b11579ab31546 G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2def9baa9f25184ecc85a6083aca5c13 Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2e6e955b4270e290ec980ce9ddbcb648 Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2ed0fcfc7ceaa01c01b38effbf9905f7 Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2f7032c2b803e9ecee12ab4f5765e885 Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
2fea2cb73c6d034e99791fc08cfa11af Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
302b8a96fbda2ea940228f564897bfe7 Global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
306ac3877f00ed283d2d9b54511f1f46 Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
30c7c9f67ef491ec8e8f7d3713cdad90 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
30e0cc9d927b3030ed680c580c462326 Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
31d8cc1e6c1609dc1f77bd0e96168530 Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
31f4744317366cdeaecc0fbff1b3bdfd G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
322abd964e844cfe5a5fad6ae891ba2f Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
324e9a2f445c2ff22f0725db0ce31a25 Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
328a1c4469934cf643f7ddfc597e9617 System libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
328da7601d58ebc41cf8997cabfc45cb Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
32ddd10db10f11c7433dd9e1e01aad73 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
33c30dd3317bef5cd37be95c61077385 Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
33d428b022410df36615313f6d6f97a6 Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
347048a3b2b91389a595093fd2a7bb14 G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3523c8f96c3eeddaa21ed758a36fa02f G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
355b19804555d6b580de8b9cc17207e1 Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
35b15c55d87ee8bf3d8bb78b0b08d745 Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3603609cc81e9d81df04aa85e9894fef Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3625fc8c1fa8178adcffb8120c315003 Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
36b3977107391e9101753ed28c46d0fd Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
36dc06f5b3e2d5350e708ee41d041fee Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3812dae085ac354a4351543f2b11e81b Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
38561830735abb764ab38d54f27bc33a Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3861e555a80140abb2d4a303db914019 Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
388eafcfb9c030524a93a10f6b2072aa Term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
395df7599a22b43b4eedf822626b8802 Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
39e98a1d3b90e81cd52bdf41fd98c2c6 Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3a04c37d766ff606585a8c2bb8d11e24 Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3a10e0e19cd91bff1997cfecc34d060f Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3a209432856546438651e2ccaa538b62 Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3aba48d05e471da126897d5b9f2a2b90 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3b69dd593af3022ce2dc8e9888c17186 Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3b7b4a69bfb96cc776d4648706663c49 Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3b92392d91eba0a6f089730b5c532cd7 Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3be39ed1fce90319cf50110a78991e98 Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3c4a96512292503d87e888ffaf1fcc1a Names libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3d0e209fa00fba4950bf117c304913d0 G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3d62bed07d11d66f80809b4b493cd471 Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3daf067c05606042cdb7d1a7a70e7196 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3dee17ebe1433322a5792940c32c3be4 Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3e574b9fae79e1077dbf6627c02371d2 Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3e75b591c9aa054a135376c62b870268 Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3eb5f499b592402ffde890550f9385b8 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
3f80cdff21f707e67bd9f8a15dcc0ed7 Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
402b90e85b357964bf274a6b399d6582 Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
402d530486db734f59e682cc06f9d170 Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4098a4cf26f64262fb57569d552e45f6 Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
41381367769168ffba9b3a741b185b63 Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4146e333f53fc80676b8b385043be3d2 Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4151023922360d933cb816424490f08a Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4164ff51cf195100620ff6d54e550f69 Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
41706a7fe638bf4404e0b904edaf09f2 Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
417863a41e919b76e0ab900de6f8a693 Q_coqast libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
41931a00b4ae3902b78e50495fb916e3 Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
41b3bf39c9526862f4f595fb1ddea28f Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4205f7b7106e0476c639441c3e606201 G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4232de078f1a4dfcab1286089d16c745 Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
42d687a38c6a4a185d707b5b950c4046 Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
43526255c47d58c606fae894e8992245 Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4364d5dc8af61282333b42602a326a40 Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
43777bdbb1cffe99e38ef3d137a113dc Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
439a564dba20a71875f9c0ec36c2d737 Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
43a0a77820deed703392e140c8f9c4ec Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
43c1923ea7ae7053035bdc22b6cb706d Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4431eb2cef2b4a9adb07c499e728f69c Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
44d904575f18d068a9f3256d23a7ffd1 Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
451936747116b466c747867a85615b53 Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
45b224571733f5713124d644a467e99b Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
45eca0444c18ae920b5bca51accef589 Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4637644f9abc50b3954aa6715ca3309e Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
468487f88691329608047e40117ad43e Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
476500924e2bb2c6e29cfad9d85ae092 Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
47c761470ca893bb3c709b3aeaaaae39 Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
47e76b477c810dee36706fe4ab864909 Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
480aea021bccd43a4d038f1441c4852a G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
486077bb37d825b24371bbde054519ef Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
498ed51218ce9825bbfc872e651f609f Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
49f7e8eca3702aa8949fa1332a5f1f23 Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4a36dd3c087a6ae539ec0278656f5e4c Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4a3ae9c9947ff6af27e6171d8cd21296 Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4a5c17031ba02b686b38fdf435028cb5 Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4aefdca5b82231f7f2963660e38f359d Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4af13011f19a9a50772aeb2776ac7ec7 Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4b023b823b24fc898c8a4515c29711d6 Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4bb920900ed1f9024940a53b508d0040 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4cbbdaf78a47d3ba2d726545e9907b94 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4cf49b609de9c74b452cdbf98c525df5 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4ddb1c858e7f3c1b46c59991988044fb Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4de592ff7d19f98a625772ff69e5fb32 Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4e865c34f01e012447d5f86ba1867c84 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4f6640ec64abf003ac7f99fa205634fb Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4f9ba5f6b53d224933410cd5b683e00d Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4fae1132a63269e7e80b928cad9f990b Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4fc7681895e3c40ce0d520ab1c5824d5 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4fe854d31b0e967ffb27e70b42a60f9d Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
4febe515ddbda757d98d38194bbd97d2 Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
50599b903ae52ca43dd75a3ee6457743 Tacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
50ed202c286e8ab8b92dde62633bccfd String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5158b5c44a94f6265ffaf5b21c69068c Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
51c6fb054243b9e0aa08a78787a46069 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
529d2bb2ab2ebebe6bca92eb0bd60b6c Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
52e335d89e507891c04d7fa4b6359946 Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
534a34bc75b8fee4629f64be66124acf Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
536a50a2458e666b6801aea5304e4447 Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5386cb70a3da97215186994699b194e3 Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
53eaffbdc91cbe0131337499e41c40f4 Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5439e1a9b20a8195a69b3dcca9a8c7d7 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
548ec4ad645a671726d6ffd1aeefb42e Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
54b8ea2ddda30a88cada779d70b0cf1e Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5534e9df174e01a6eecd5aa373f1db29 Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
568848a2fc1424fb15d54d1e51af71c4 Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
56a3367655b89a1624d6f73265634887 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
56c71527a959f31d2da6a2b677d43bfd Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
57285c71713d8869988fcd06ac03ddef Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5750448b007806884ca32d7e4c26a618 Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
577704a1b09f6e3139abc3f80783454c Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5789e9cca625bb92629da9f4e2db7581 Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
57c0c19c180968249922bcd9286df182 Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
57c5f5aaa124a2b6e360912ece259727 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
57cf9f4fe2505a9f1856569d268486b5 Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
57f5df7b3b26348d8901115985717e9c Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5837b55697900e7c0eb370569123d94b G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
58431db5ffc02b1baa39ed97ba53562d Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
587e78a71a8255e51e5a27d80c682948 Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
59bdfe6cb31d518b04a2593b43763c3d Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
59ea83154b19bc475d635b75deddc69d Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5a09d206b3981d9973784f3fa852ef93 G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5a6ba13d121fe819472060b8f368780c G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5ac9979bd6dc9aed06d8951cc3456005 DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5acdb125b87507f79aa1c2522c6cb12f Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5af201d9bdfcb8ffde029f3138e989ca System libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5b6b1b1ada3035e7e0640f2f5a29cb11 Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5b6c117b7c64c5bdd1217e1bfc06fac7 Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5bb9e483efb3a27590c2de0272a08c77 Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5c74d45de664b401bb9273393653a191 Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5cb5588c97f32c31facee4bc424dcd94 Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5d882cd3314241bc22fd22d2b77a3e7c Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5dc69deca03445bc2e46334824ab6b86 Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5ddb63c3798614d511924ba823f03bad Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5e617012ca17aae762797c6034394218 Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
5e92ef67f3fcdc89a53e8ddf17a21cb6 String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6079447c83afa690fb01e874bdf98f86 Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
60931d84188e9f7ffd0dc6c4a10735dc Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
60b3815e6a85364580780b417723664e Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
60cbb409d7153b0b9973753b37f85ece Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6186a1b5311fbe083329abc8fd10eef5 Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
61fd3e6e692962f43227845cb7f0cd25 Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
62270debb00cae87035eebd0e6fcaad1 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
62416765b21a929bc6f5a960b3490035 Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
624fa71d3d67256c50e29f873d325b9b Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
63925cf4427b803669d4c30e19d86c5f Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6427dcb0e09c0d40f64953f4db048c91 Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
647e35ffa083e4a0ab352ea7e771d3fd States libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6488b88e3832b56d3dd86ac62d2f4525 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
64d51c88f145e13cdddc3e90756b2e00 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6540f5ad359d217a0c58a491935ab978 Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6588f957b44f9a4083d9446056d16cd2 Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
65f61e9c04b80082d47a9ddf784bf660 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6738bb0826caad213f1f9efff781b134 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
67ea8025f7fefb18845feea38971c55e Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
681d03ca9522081c9592642ec5f52077 Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
68ae6e73fb59385bdc11b08c6ac06ced ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
68ef4e0c9211fd2e0318c72a24eab78e Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
69326e35515fe1a576e54c9df684de7d Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6a040845c46c5ec1e16ffc4247a42d78 Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6a2b0f3b63bc5a7edae85c48d16aebd2 Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6a636edf5363dfcb43a8032641e34ae6 Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6ac9b1b9d20d5d55ede802b46f8993e8 Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6adfe6b433aeeafdc0ca96ad5c4c6fe1 Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6b0b08ebe02322c7d6770e7d09914af1 Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6b701da2fa96d35d5b76e588c187639c Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6bbe53b6c645abe9e89319d0f96a41c7 Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6c58e3a4b1dae9ffc05a04372f2b139c Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6c8cae578a6383fb131263e8ddb2a0e5 Table libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6d060e7e0d07335e7d0cee5910438c84 Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6db1553d39e6acd73fd09e815dcb8b49 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6e095dbfd0483a5d9729e83090c2af3c Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6ea3c454c87883056c8552e063463b52 Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6eb01030129a7840a4b2ed940863181f Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6f9485bd838c1142e39345392db4a2cc Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
6ff687edacd7f58e2f6bb5e4d2a443f2 Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
703915c6b558783bee50a2cc8b400ba9 Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7070bbd946d81238e22135d1bf3b00c1 Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
70e074912dc93f581dce4febf2b9f354 Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
710a48e62e49a9bdde28854d573c0f60 Vernacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7186a529e579e7a565a8df42ea0041bb Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7188305558b4235fe43b6b91dffdbfe1 String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
71b582ada02e92a68ae3efe03d5caedf Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
72013a66ee01bb827ed15265c809b8b8 Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
723f43f39fc5f0c47e9750a8fddedaf4 Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
733807858f9cc1591e663e02b843caa2 Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
73726356280c4262e41f9a03c0024aa5 Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
73dcb985fccdd819d1488a7bf7db6d38 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
73f8bf77d102f4e86d2bae9cf8c58fe7 Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
73fd1686339ff0281175d57118becbfb Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7401aba42605c0d15252bf8c7778791d Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
743b91053a6884eebb1db8e3fe1e9131 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
74783bdb26d41af0c64302b7ceb8eeab Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
751327598e25f10e22f1f3388ae495f7 Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
751bdae8bccbabf43bec319301b9ef4d Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7538699a0dfec16fcb5900037cb11f0b Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
75970ab628de39f17178d793fb9c04d4 Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
75b0f1675100dcb4ad4d7dd90fcf336b Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
75d0dfc127fc62ba200acbf4c2ee2682 Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
76617e614ec93612d2a9978117678647 Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7701ebf40f3c61285c9121ddfe5f5b98 Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
77084115f9168dd3295411f1dd8b1f55 Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7711eb3152c226262e86e0fca73f1521 Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7715e6e0cc5df80489cd567f179a30c3 G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
772a98d9c76f19ceb93b9106cd6af019 G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
77af62b5c99c47c887a6f5ab37cb5f78 Class libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
77d069a00221482d4ef56c0f4e94c503 Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
77ebf8922df58f2314c94e265336ac27 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7846836acc6f6d6fcda5464cd5efcbb7 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
784e08a1c6a4245c6401dbfd7f31d09d Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
786fac356183fe073683806c00ba7acc Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
78eb11ea8271f724db806b656c6df59a Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
79471009c8a3d594a21116ce2085cd23 DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
795c68dc8d825580e1dc753567642e3a Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
799869f17076da4935ee6ea9629739c4 Global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7a1a485bce7cecf9a07783f0c5aa39ca G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7a57107f36548a16bab6f299db0acff9 Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7b04c8f70a47a48dca094073d298f5bb Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7b40ab2601dfcbdc6821c031bf605c64 Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7bac9fe2147e3f774da7d12006c4bf9b Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7c63419b58c544a4bd0fad19e1dcd29a Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7cea733ad4e220419b6a2a3a439c4aa4 Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7e16d56e3fdc2cd19ba138e929d5ff3b Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7e32104b40e29c0ac5072b963e84e71e Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7e936f4adddb830f21d971f7e17ebd67 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7ec7e98aae17c66dbb21b0472ade067e Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7f223bbbbeacebe572febbb8d80e2cb4 Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7f3465217152228202dce72188b8a31e Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7f35c3f5c434d1ba803ef97f880351a2 Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7f629871bf9dc862bb685e2e7ebe0c74 Table libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7f96c64601635437f15b662020f45d8a Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7fa1928ae8c73ea48a796bdae9a9b76e Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
7fb5541f05e1a719dfc2c59960d3a021 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
802d4ec6f958b2a2a5c5040de8618425 Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
803c47e68e60cf89a8db49c364a33dc9 Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8080a2a8e8b018b5cddbf9072b8d8511 Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8080b5c21c2efd91ce4361c62000b235 Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8097f00813116e8e84b045761b556ce1 Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8120b9c0d124a0cf9f1edb6429de6e7f Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
813aa2bf304c8e9341b709fcc989bcd2 States libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
81416fce4e3a126391e4958a7f0bd9af Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
815a9fecda5770b8a7dd32f5f441223e Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
822e48627e2886c3cfcaeac989776f41 Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8254e9a6fb17ab673787139f54523dc6 Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
82580f119e1161467efa548be66afa92 Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
82d65a6fdee82e7ab892378b56b583b0 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
82f742f37bcd4036351849d032f81f4c Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
832805bd07f63d7abd5ede519fd2359b Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
84238b265109f7b7ad7cb460d806473c Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8474e84d6d09856f65efafc5e8f15aed Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
84e15156632ec66a337aa2382c919bf1 Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8520d51fdb34b7c9377f04aea116f0f9 Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8526f557ecf4e97c03740732d48785ce Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
855a897d8feda9465c17d1d9a5d98673 Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8646c7513719d9ac9592a3968d885783 Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
86813dccd3283d3bfd4d4e33598030c0 Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8697a2abbb45500bd445fe3e9f893c21 Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
86b29e82e0cfbc48bb9b70c2b3610505 Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
87a242affbaaefb2f53b4bc58cee0b9e String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
892c23191a6cdd207aa482d0560086d9 Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8944f4d225ee15f7d34d4324ca7d499d Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
89def461ebcdeedca5b5ae888a2c74ec Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
89f376b474c996baba89eab10a1a7363 Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
89fd728677a8ac8b05b2d7fed66fcfbb Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8a6f8c227b87d18f8a3b0cee71fbddb3 Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8b36e739682108fd1b1112868dd09199 Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8b39b025e64348066dd4f363bec1f908 Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8b465ad4a1e2461f627f3836c8976d5d Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8bef4e0fb5575c77828f4e7d7b0b6ee5 Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8c09da2e13370d433fbbe19e69f5fff9 Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8c4c9aa500f020c3d6c07ea852906a29 G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8c9128390bc6328fd011d3fce28c2345 Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8c9606ef56d9b9d91971f4c7922adc52 Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8cf0379f98a19c9b7157c63ffea7a238 Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8d8c5bbb779e388b0a583bcd34ece2a6 Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8dec42141709d7ab2464f39b2aea8568 Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8e346c51f6ec7429a03107f66a063137 Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8ecfb4b72806b72249d81d19b3075cd1 Util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8f0a481b5d55ca9af8c795e953e9698e Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8fd27356458a08c69001de7c2d8eadfa Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
8fd8113997db752e703c3bd0421ce272 Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9057ed350633bfa2a80877fb7cad5085 Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9181998c4c4deefe5c803c83469efdca Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
919009f9d000846c4e9c549c144ad444 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
91c265caa9a895444f7cbab9382933d5 Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
924995d9eaf08ec6f756e3acdfba6809 Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
92668ed26d6d890f5f86193cfffbce04 Term libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
92a562a8b2715e015a2f6465f5454293 Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
92ac55ab0fff2ae446f323f764762900 Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
931f02795a33f1e68bdf4c951daffb5f Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
93b03fdcb5b89da8273da3f77319ab5c Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
944a067a714e002bc89d2703b950dfdc G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
945b8b3986fe36f0eb8da77496eb7074 Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
949febded94310864de13d973fe31435 Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
95607626ee0a6db153611d9ee858f87b Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
95e2110886e3037c4df33b89f5f16995 Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
962b14c9d71ba796a7f952a122c80aef Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
965fad25d4c2183dd27a17315606e28e G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
96e6083c4f24f08dd62984c182d92ab4 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
979b29f27fc3df576b25d34e518d1019 Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
97c521c55cde351d6f35af93689636e7 Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
97ff46ad9f4fa8391ed8dfdbfc43c999 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
98a68d183cdf3d626b029f8f4bc0a502 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
98f4ece1d63b23f0820910609fb2c764 Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
997301cc7ef863167a6e17d617d60ab8 Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
99c2fb9b33dc7a4d0255cd603562a160 Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
99e37e7354e37bc35d524536bb7aa96e Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9a6b205deaaa03f9f8d3010eb2353eaa Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9a92da0e9ac8518efa3e325c038ce081 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9b302d5c48979dbc1505e5aa94cad173 Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9b8a508426904e17dce835e29002d59e Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9b8e8509e94c426689a2c8114d9510bb Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9b9817c410676af994736a8fdd1cc0cc Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9c344223cd040b6e43a96a953dcf1850 G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9c6eb82e6b8269b28e488f16fba8d017 Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9cb90562540c1ce8222c85255bb7be57 ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9de107635485f3e159f0361aa1a886cc Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9dea985b5eec3d70793982b737daa984 Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9e3dda74d1305176d7634b7559e7c023 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9ed267a0e2803f7176bda934b3dac26c Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9f41f09ceabe5a44e79111c71afa46b4 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
9ffdb965dc11956741f55150407f8ea6 Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a0baa00b95c68aab082893591093f8ad Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a11ef1074e1d5f0f838ce0ba30eb999a Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a1d40a658e57581633dba43cb9be637a Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a206d153594327c77b6d93802c7e6441 Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a239ca5fd34aa90a019e80f53187e3e2 Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a2670195f1ff5882acb0281c2102ff6a Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a27a119bff24caaa98c34b59fd64e9d0 Miniml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a37982ec83b931bbbd5ee9e9531524df Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a39ac66982f940688a25d6eb2d5648c7 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a3a225939c8e36baa816f46ba78cabde Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a3ff5f1e0642753939935f3fe81e8631 Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a43d5aeceb2d4a1ce06301bfbcbb302c Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a45938ebb28158372ef543e1ca651149 Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a478b125d149e57f3b360b7c69be1bfe G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a4afae307fb8205c2bf61d2b532b83f4 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a560119c52ba6b37565efa3316534ba9 Goptionstyp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a580ca7627438166d157388c25b52d35 Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a626dec5a48942e5cae97b6af3540faa Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a66326d809992efc44bac5579d5d0c7b Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a6c3194def5ad4b7708956e0046c18e9 G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a6cffe2bd2082c8377ba31a4ed15364c Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a73554c7006d9ce2af73fe041e621fb1 Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a7694f0f027ca69ead11638c3d834535 Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a7698ff80421369bb980ce2e7ed6ada6 Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a7767f1f136d6fdbcda299777a309f33 Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a7a3491baecb4dc632a5a1ad98a3b07a Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a8986588dd18ae24c34a2fc008917eb9 G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a8e34103c8f84834eacf99027c24794b Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a8f52a2014b58f1a6710862bfa42eef4 Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
a93fcf26bbfa58d3532883677d8724bb Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aa07cb33288b715eaa74783ca82753a9 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aa270e9e61da60876c1f233d33d9b5a6 Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aa88a9fb38c1fd77278a93ffbe456ef0 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aad544a9f70076098aa195d5a873726a Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aaf81892c36b524719794358dfbc8250 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
abef42811cbaf9890461967e752cc4d3 Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ac28bffc0e562a50ac38681a45962f23 Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ac356eea8a29ce92839423bce8787e81 Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ac498a3ff75243a5f73e4ac8cdf923f1 Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ac69bfbd7152ca259aabae1a916fba10 Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ad26d6bb9b693b14997da87d753d7447 Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
adf442f42e360492a28003bfe5100db0 Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ae51b881f44d60c15962f08e49b122e9 Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aeeb7b2234062eefd7432529d731bcae Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aeef30635751bdf9646271d02dbd5b0f Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
aef529d7975ea2ac60a9da16bd76c308 Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
afcb397ae4e3bcd4432db320ac1d655b Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
afe306c5bcf8e872ffeb36024e219790 Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b08ec5d0d2e5bb3ab326688bed029533 Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b0c9e774f8b4d97224b7908e1238672d Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b27579555c77a513cc8f62332f07820b Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b2a7b0486697d6ff5a2a4102fe47e90d Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b315a101e6065d6faa55fb9b74488c5f Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b33a55922d5aea6fbdfb8df43c87626c Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b370dce92f541805a7d78209f4f83cbc Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b3e09b4d8ed629aee8b85a838d408b5d Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b4732a12d1fd7911e48c746f926f2915 Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b4cebf81a6d00b56331644aaf675517d Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b4e69b7f2801f6865eeaf97d8434e028 Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b5030ca6e94ee535ddc4cd6aa7bb6e1a Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b56a02ba84496250db3c63e10240948e Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b7538af084bca36a4c3b46d5465cf575 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b793fdfb29710b22d1c6c903af2ecd1a Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b8a9b0263b6a68c5f4d20561b77f8e1b Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b8fc11443f20dba673f88c0e04e6c2ac Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b90f89de4c57859e19ad1b6425fd7ab4 Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b9183fbd8aa477248a15cb641e6a00d1 Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b94796fbc6ffe25af070482936cc9494 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
b9ffd1f457672c874849c9fc5a8da54a Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ba0a944e0a6f1e013f3b443ba4d36528 Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ba70e7ae3b85a85dda0458f9be4279bc Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bb30aef762e699a4670a44a956a63d16 Sos libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bbc8721b8ea733e1eda88a450a7106f7 G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bc6f49743b66ab54c569a842fc4b8d50 Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bc9ed9da93115184ff40163f80c40822 Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bd59022515b3711f39584ed3944ba32c Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bda55be3ed81fcda46f922e334033c17 Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
be45625931bf3fbee6f8c89cd11edfb4 Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bef021d6a5cbabacb63b8042bcc2607b Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
bf77bbc39c18d0bb11be7756473c9cfb Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c04c500c501125b8deea38187362222b G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c0a0a7480191ec373043c4552dede18c Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c16c562f38647faff43f7da704da0cc7 Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c192ba6ea0329430ccfaeb31a0398815 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c19bc8d09da3b8d8cffe2cbbdbc3f407 Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c22194fd651e732df50a9ae7c30857c8 Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c22d3c347de11b9d4304df9fd9b9a117 Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c2a96be7c8a6eb89ec27f9570cc092e8 G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c30bfab62ce96a1d28f6662df7b013ca Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c3b8c11a0759b898bdb947e99a28156c Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c3c18b4b3b1533733cc8fb43cfb9678d Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c45bca935b5b557c2ce2b1024c9e8f1d Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c461770a31a6d33dbe8d41f8f2bed9ad Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c53d3aa318e31397a21681c1ff17d6a8 Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c61f03929550901ea3b62942805b2e66 Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c6af2852f004736681f0fd15073e269d Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c7012a90fff4173e6698e0213e3ccd81 Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c704247b18955fa30b801bf7d1660601 Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c727bbdb5b5a6df2eff617a3d802f985 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c74e900093ab7968dc7317d9e1c0bc2a Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c770e0b8d4201386aa9e89e5f3cb4c8c Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c775830c60453c34f2d25336e28164d4 Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c7cfd03377e557534594e401b726d9ed G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c7f22397eb215fb111f08a19ea731067 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c8722c1b3d4ee8b1743ba896eb21471c Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c9243c58d96ca2cbc0cec4851eaa034c Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c979e636543a530740091a9d3d193332 Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c9a137a640265211894079087a8035bd Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
c9f5b5239bbd861507ce1581bf9d5ce2 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ca65883f18e7b68865056a1288ba1768 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cc2875885e191b8d2bd3d6d04f042653 Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cc408f263d2f27684514303818bd9602 Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ccc30ad769a277f297644449e3d14bd9 Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cd13ac2b87b20c1fb267209602c9f67b Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cd79c36fc6f7914d6ac950a81dae605e Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cd7b79551c4a2bcbc712b2a7b9ddf59d Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
cf18f4ccd228dd8bed171b24ccbaa8e5 Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d06ad363982bcce9e2ca5c5bbfc14a4f Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d20f9e871ee2b50ef90b484a451ec9ba Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d22c7f53c33826d9eb84e3e302dbbb0d Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d26f0a041bf9986b173b720912cf4394 Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d27e81b703d5c5ce0d508f91bce698e8 G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2a801a47c8309916ceefe2463ec0a9f Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2b384adf1ce08dc4cc7283280cdf21d Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2ca02d480d97a30e3a79b9fb6bd4a8d Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2d817d95214cc473fa0d5c5044131fe Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2f346a57de93f60c48c8491d63ba70a Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d2fb236332134289aeece6284a71224d Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d388a52b086403fa6406bfec7f784ef3 Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d3e9b3cebd90c4e2e715f578c31eeee7 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d3f4d8954c339ed3572470eafe75dcde Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d4324edea2f37e0017e8c2977f7b58ce Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d585ce7699b572c204c6f464a09c8678 Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d68feb4879090fddd4969612dd71683b G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d6b3b0635dfd8eccc05f615c05d4f87e Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d73e18a864bdb664863e7b1c9def3bcb Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d782589700d96f9a8786784ca8c30829 Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d7a5a53a451461c6fefeed57a97a9940 Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d7ce0fe5909e560afd1486111284206f Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d7dfa744756504c334365c978cc916a5 Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d7f28d457abfc5fa3fdfa9fcbe00c639 Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d86bce009a54714a213b015ef39a8132 Common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d88d9cc2e8d78c87ce93899ced349ad1 Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d8b1f015b394303ced7b6ac56b252a7c Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d9025d48bcfc7baf92652574763034b2 Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d9137d09adafc83e2ed1aba3ec7826f4 Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d945dfc65b8f1a05db2378d79bc623b1 Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d98936e392ff1bca478106967e14f6a1 Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
d9cea217d6e5c84b34b86852625929ca Argextend libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
da095d3ea21c6efcc7856ce6d73a0663 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
da5914eaa3410555dd52d42de3123aa5 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
da67f0d83c509f4883aa7dca93e0d283 Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
da73e6b2bfdc5953d64138d56e5452a8 Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
db60c675c5a8fae2613b8bd7ec96e839 Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dbbdff8aafc16ab806e0e50c9bcacd3d Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dc63ecf8ec36b076d622697bb8e1cbc7 Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dc94059d9eff55202a7478c5d5ebd79d Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dcf94877ac5fe759d6d244995e108091 Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dd0fa67056d11c30da55c7044986abb0 Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dd202f082fb0cbe58e12940bc113cf90 Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dd79f24cfe1e2077e84218e55072b091 R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dd8f62b0d68bbef8d3fa6361373b8367 G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
de5ce96e42e8ea6401ff2394e0c25fc1 Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
dec7db186b00a5e6769b73af670fdd95 Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e046a04fb69e9459cae4a568f08ab0e5 Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e06558b3c27366ae2d5bef4b0523357d Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e0b096373b0d9fdf7c0f121ccd8d3c68 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e14a55e816b141bc5f14c301eb11e599 Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e16220362884b4c52a21ca9cbc4acc1f Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e18df54fa7617888755730b20d3e2a11 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e1b4d14ceda041286f04026456146a41 Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e25e6c442d667389fc675926c61c3529 Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e2619d5ed6e1659b5bddd466884d1811 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e2a59332462d80913ad5b16744aecbc8 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e2bae8cba283556187571ac2fd1ffeae Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e32d70298abc94b5704da0999f731920 Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e3f156d29519dc635fad228166d343cd Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e4419087d78ae9e045d28a33896628eb Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e57bc6a2fa47b030999072c168754d5b Search libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e5e947de69ac49ff724927e511c3767e Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e6689c6e0d89a6bf6f79aa4ebcfdc968 Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e6c142a884dff9eda1d34f3f53e5f89d Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e6f2acd88a1fb7334f445b68b3665d66 Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e71ae36935b7ff0f44f31f77f2df75fb Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e7da3d21563c1aac12d98195ed424744 Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e8e112a34a95849bc7921bcafb575e8d Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e9071240f42047233ae42d7a8b496291 Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e92522c60514d045137f7f78b2397c76 Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e94885963f82f9d825957026ddcfaaac R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e9c314a020a6bce9195d275e490d9d3f Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
e9c36789f08a5bba4cff0c3e1798aefa Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
eb0e83e14a612ac6125f4f8f54fd3e0a Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
eb71896c779310b7637f5c4b9835bdec Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ebd36183cbb2b3dcdd278dea56233b3c Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ebe41a7d5b626ce2535403f9217fd6f5 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ed3f9df8c019cc7793df701535b8d0bb Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ed5a93850aa485f350a3cb833b5145e2 Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ed880f74791989cd8d2c6e5f352088c5 Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
edcbb810ac341188a7a62faef6284d8b Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ee5f9c631dedfc0b43940138128883cb Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ee70d92e5deeac3aefc1fbbb3d93f983 Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
eedd43b07c67a4c86331ffe4a7f00df1 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
eefe4196975845d8135b8248e6707e7f Library libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ef59f55f21c020abd22deeb6375189a7 Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f07f317d7bffda25a4d46197ec0e57a5 Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f097adb3c1dc523f45b0d2f593e86144 Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f0d7dd37e94fbb4f7b07c0f2fa83426c Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f0e81a2e68c1ece1fec47f22c340fbb3 Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f11d24aa3eaa26d587eb08d76d349feb Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f173f8a826616e4a23ccb7d0e1e22a1e Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f1e6dc8b151ffcb1dc5088f9ed3b656b Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f2c7cbebd1859b443271e6c4d65e6b50 Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f2e90d5cebcc30a41243a669925c87dc Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f3061a55d0b829f6e215c48d07344895 Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f3666f77f57416992e6ecd3107545b0d Interface libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f3d878a6862fd405bec26506ba9db856 Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f442415af3ff89d6033a2b074390fca7 Decl_expr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f49831bb63bd739eae6ed5dc6e53fca8 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f499802701d32a505ada9b5c2f03d13c Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f4b18e5936d0c472b02e393ebe06f045 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f4cde105852b7c91c565bad9ba256761 Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f52ec1b9e6bcd68913f6ff5ca52d5ec0 Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f5c8d097990353ea6ab013343ff12ce9 Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f704afa01ba6afe4129eacc9b79501aa Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f70f2d1d5693ae960e6256ebfedf7f65 G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f7955dd56e84029e031ad1f743e520fc Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f7d8fd3a986256cc75236524c924c150 Store libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f84be0eb93ea35113ed3781eef639e8b G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f85a8a0103415affd7b61d01e32dd28b Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f870c68c4be93800dc0dff55442b3aac G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f8f3c30e00aea9108e44131b06ec2989 Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f92573a34182ee28caa5ce9814d20406 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
f98d18a280ecdebe910dbd9224b97a62 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fa531f3f6c42b5b7622ccb75b40e3bb2 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fab968296f588118aeb6980af5d91b95 Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fae688f6f6f281b0ba70b6698630c9e9 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
faf6adf18c0b1a374636d62df59a4378 Store libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fb30e11d717c2416594fca172134859a Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fb9b452df95b589847ee1d30490e9024 Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fca6c9735ad85ccc8e97f2b6ac4b8d9e Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fcaa0b416dc304b07c566bfa1a6b721a Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fccc02cdc2539178b08d4d37077f8a4f G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fcf0d971578c8d9941c96be4dba55476 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fcf868cd5b08a6b04f5772b293c9553e Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fded5623d71c97ac1a1e87a524805b3b Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fe11fce36ab46d05cac3dc300a744231 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fe4c1b1accbdb09f1af872971be74c65 Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fe50deeb592e126ac203de2f3f0d2e3e Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fe75ae7f5ee81ea251be57f2f6be7230 Q_util libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
fed10872ad043c850b79410551f5a1d3 Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ff391d35a9d0f682b1904a714e8c9b78 Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9
ff7a70bea250eaacb8f26f16eeeeb822 Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl4dfsg-1 arxq9