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

2bf75fed57744dcb62502a9772890013 Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
192ac9ce7d4a667636c78f190467d587 G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c8c5db94ff588367b655b5a0773882c Names libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d585ce7699b572c204c6f464a09c8678 Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6488b88e3832b56d3dd86ac62d2f4525 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0df9c88389c90d5f70264999a117498e Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
03499c4da5e0d1243c04a0e3f1f73923 Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3ad55a33f66791d9897137a1534a8f4f Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
15ecb7bb44e9672c83dd496f5853953f Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aa201cad21c217ebd26c0e9dba6b49ba Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
75970ab628de39f17178d793fb9c04d4 Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1e170905d32be3b1449b0a05fccc47e8 Search libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8cf0379f98a19c9b7157c63ffea7a238 Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
99c9ad681a85e61c9793673ca30526f8 Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2496db1c47f5701069bda155b223b229 Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c3c18b4b3b1533733cc8fb43cfb9678d Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
63ae3e11b8ef87e39fc392c8696ed74b Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
78eb11ea8271f724db806b656c6df59a Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
77ebf8922df58f2314c94e265336ac27 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a27a119bff24caaa98c34b59fd64e9d0 Miniml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
149a2f9e7c045971d7489090918b7005 Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
edcbb810ac341188a7a62faef6284d8b Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bb30aef762e699a4670a44a956a63d16 Sos libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
adf442f42e360492a28003bfe5100db0 Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
38561830735abb764ab38d54f27bc33a Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1517ac50ad2aa136548607ddcdd968ba G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9e3dda74d1305176d7634b7559e7c023 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
02bf067e96310e3c1566da3ae42e83fb Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dec7db186b00a5e6769b73af670fdd95 Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b30c72f6960761a2fb489ffad1f5a462 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5e2242ae3b7d9cdfa7bd282384488a83 Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a3c1d3a94b28757df030c33891952c33 Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f84be0eb93ea35113ed3781eef639e8b G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2d840a23ca5523e2f4a32c2bc1875cf6 Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7a5a8d4954640757c7c2700bbdc9f777 Topconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5f90c501becf9e9b1d441cf9ac8b808d Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9b302d5c48979dbc1505e5aa94cad173 Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f3666f77f57416992e6ecd3107545b0d Interface libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5750448b007806884ca32d7e4c26a618 Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2c9caca12364a05858f6b5081188fcba G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f7955dd56e84029e031ad1f743e520fc Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57f5df7b3b26348d8901115985717e9c Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6c58e3a4b1dae9ffc05a04372f2b139c Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1bc06936f1c7518eedd42e1f394faa0d G_xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7c9b597f0a64894aba09790656b44f11 Evd libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
82d65a6fdee82e7ab892378b56b583b0 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
39e98a1d3b90e81cd52bdf41fd98c2c6 Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1d41f2a5046fdd3ee0179ce7dcf69da2 Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a2670195f1ff5882acb0281c2102ff6a Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e254b66a0fd865654f1840e97573fdf7 Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1515ed6b31d7bbd7f63900dd5c1ab4d1 Dn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
abf4df1ff303c2201f02cfc2104ed360 G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cd136bc3da06219841d1d46541818680 Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0a3b95f3012aab8ae4c10acda71b82ab Invfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8b1e68ca9cc15452feee9ff7e1958cb0 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2846431e14da66d943913c685c164fcf Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fe50deeb592e126ac203de2f3f0d2e3e Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
79471009c8a3d594a21116ce2085cd23 DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b0c9e774f8b4d97224b7908e1238672d Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
20ccdbfaab9b8d797a72bd22718950a6 Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
705aad112600c9f8a21645067feb1ff9 Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d289e1acd6fa246062ee053468c1b715 Constrextern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bd59022515b3711f39584ed3944ba32c Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0fa1b18f939d8e86c05472c9ce31361a Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d4343ae28e500a51e0519e66f2d5f3a0 Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d9025d48bcfc7baf92652574763034b2 Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fcaa0b416dc304b07c566bfa1a6b721a Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
88955b90f3c7f0c33c5e73470caa0aad Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bc7b7729ea5c5e45f1cd9bf198abeb41 Detyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
edaf56516d76f6e99d0724befb62df28 Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e3f156d29519dc635fad228166d343cd Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
730263e91469c9d9b626eacfd1b56ad8 Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5d6823c208b5e6e8b9d9670c90d1206d Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
15a9bbf2b91ed144d63b7fcdeee7330d Printmod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d7ce0fe5909e560afd1486111284206f Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
27f967202fec31be6d454bc1f192cc97 Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e14a55e816b141bc5f14c301eb11e599 Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5d23e0a0cd5569c273a171ba8cf5e267 Tacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
945b8b3986fe36f0eb8da77496eb7074 Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f2c7cbebd1859b443271e6c4d65e6b50 Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
944a067a714e002bc89d2703b950dfdc G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ebe41a7d5b626ce2535403f9217fd6f5 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ccc30ad769a277f297644449e3d14bd9 Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f0d7dd37e94fbb4f7b07c0f2fa83426c Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
536a50a2458e666b6801aea5304e4447 Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d782589700d96f9a8786784ca8c30829 Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
29766a183cfd8b83834dc48d9026b6ff Gtk_parsing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
439a564dba20a71875f9c0ec36c2d737 Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
91c265caa9a895444f7cbab9382933d5 Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3d91769ae0c105a900bcdf8a97e3e8d3 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
abef42811cbaf9890461967e752cc4d3 Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
084c49574ff31086e529e3bfd5789895 Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e305f26ed7b911e8dd6a69775028f88d Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6df2d9f3409065ce99525ec8a2aed89a Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1092724fe63e0c8d6f50ec614f5e616a Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f07f317d7bffda25a4d46197ec0e57a5 Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3d6ff94291b3cd5a10bc7d242d1c3b2e Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8c9606ef56d9b9d91971f4c7922adc52 Refl_tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6d00e96bc835352bf5d8ab6f3e605694 Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8944f4d225ee15f7d34d4324ca7d499d Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
da528f272c3ac2e518e745adef588473 Q_coqast libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c0a0a7480191ec373043c4552dede18c Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e10cb606a6fb93d93f5a96008a54f740 Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
73f8bf77d102f4e86d2bae9cf8c58fe7 Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f8f3c30e00aea9108e44131b06ec2989 Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d7a5a53a451461c6fefeed57a97a9940 Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ac69bfbd7152ca259aabae1a916fba10 Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a478b125d149e57f3b360b7c69be1bfe G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d8b1f015b394303ced7b6ac56b252a7c Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
58c54843532504b6a9ef8e64233b11be Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
db60c675c5a8fae2613b8bd7ec96e839 Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
80fca801649bc917da68765df3dce912 Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ef7d60e8214436ec4a59fe24f384f9e6 Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5837b55697900e7c0eb370569123d94b G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5a1532194bbc9d72f1094420afa21969 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f52ec1b9e6bcd68913f6ff5ca52d5ec0 Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d4324edea2f37e0017e8c2977f7b58ce Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dd1cc29dfc7eeb37d1c1f68ad9149f90 Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dab2af532f929f62eaf04fe99afc51e8 Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1b210a23728eb7f61577b4aee5b31126 G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4cf49b609de9c74b452cdbf98c525df5 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
78e80c5c707297137bf11aa96623e4d0 Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a8f52a2014b58f1a6710862bfa42eef4 Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
402b90e85b357964bf274a6b399d6582 Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8b966f130c3d7d7bdf417fd53ef10dd2 String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dd202f082fb0cbe58e12940bc113cf90 Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
20af4747f62c5b5803adfa40d86b343f Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a11ef1074e1d5f0f838ce0ba30eb999a Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
02636de561b364bf64293f9448c13d4c G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
124c7f28baa073ab794818996fc0d0cd Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
00ab33b03147ea21bd708f02234488a2 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
97c76febd83d3fbace769de166dd0752 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b97f65dd3dae8c61503ee38d47a88641 Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ec7ca4bdc74bdd85688e86af4ee2dabf Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f442415af3ff89d6033a2b074390fca7 Decl_expr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
820d14876e4061db5a25dec68a44826a Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7e936f4adddb830f21d971f7e17ebd67 Field_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4637644f9abc50b3954aa6715ca3309e Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
20adf91fec7249622879df1e69fc1f33 Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4151023922360d933cb816424490f08a Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
82580f119e1161467efa548be66afa92 Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
965fad25d4c2183dd27a17315606e28e G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
88d64f20fd2ef94c9876b2f8c4c48cac String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b2a7b0486697d6ff5a2a4102fe47e90d Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
743b91053a6884eebb1db8e3fe1e9131 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2d54253e157645882042651497b8c390 Univ libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
795c68dc8d825580e1dc753567642e3a Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
98f4ece1d63b23f0820910609fb2c764 Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
abd927705dadadb43d94c8bfe3f9ff99 Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d2d817d95214cc473fa0d5c5044131fe Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
77af62b5c99c47c887a6f5ab37cb5f78 Class libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
326b3f24a3e6c77165a9afb05551bb91 Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2a33241b910b9aa7bf6797ea99a4652c Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
76c4516f30581cb2702ef5e6047db6d9 Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5158b5c44a94f6265ffaf5b21c69068c Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0a598efb0c581f149b680ddf68bad5f0 Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2065f70bfdbe417a47eb9fbfc71715b7 Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7701ebf40f3c61285c9121ddfe5f5b98 Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3422be1bfac7219c1ebd1fa2b274b347 Pretype_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e2619d5ed6e1659b5bddd466884d1811 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
be851c9845d813b074be99939415675f Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ef59f55f21c020abd22deeb6375189a7 Rtree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c6af2852f004736681f0fd15073e269d Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a239ca5fd34aa90a019e80f53187e3e2 Mod_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
268ccd712675935b4add6fdf8166e84d Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
50ed202c286e8ab8b92dde62633bccfd String_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5cb5588c97f32c31facee4bc424dcd94 Environ libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d86bce009a54714a213b015ef39a8132 Common libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5aeeae6cb25b23d27fda5fcfd6c0e5f1 G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8a6f8c227b87d18f8a3b0cee71fbddb3 Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8fd8113997db752e703c3bd0421ce272 Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a45938ebb28158372ef543e1ca651149 Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
86c7f89d8fd9b6fec005f4a437b5f80f Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
15293268555bf3f785dfbada9c6175ed Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
76cf3432c3aacdb756a22c66c1085c15 Declaremods libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
33755ac5263ee775019c739a096b3138 Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7711eb3152c226262e86e0fca73f1521 Coqide_ui libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6079447c83afa690fb01e874bdf98f86 Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aaf81892c36b524719794358dfbc8250 Hashcons libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8f6f12b75ef59b5082b1d2f945e21b9d Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d075270a975a24af5bb4a81a7014f95c Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a2057cd19f936ef276611f4d9bb319f2 Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
47c761470ca893bb3c709b3aeaaaae39 Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
73726356280c4262e41f9a03c0024aa5 Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d75a33794be3da2e27d969b9804aba3b R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
237f66df9ab9086064d213f0cde14431 Newring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5d44227337758564a2b091aeae213202 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7a72543141720cd294f95e65fd38d207 Nat_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
19c27e5438df73fd4d84d12f368596c1 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8f71d560e229bd06fc4c794368c11e65 Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4fc7681895e3c40ce0d520ab1c5824d5 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
26421aa2728b07e6769925f88cde1e53 Unify libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cc408f263d2f27684514303818bd9602 Micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
355f7dedfffd353cd3dd625d2c9e9a1f Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bda55be3ed81fcda46f922e334033c17 Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4e23873404eadd9f8b2bdc82962eb407 G_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3b1ec41b2e35d10c5c72598f2eba3d9d States libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
44176f43072f951606277bd9432658f1 Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5b6c117b7c64c5bdd1217e1bfc06fac7 Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9f41f09ceabe5a44e79111c71afa46b4 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7f223bbbbeacebe572febbb8d80e2cb4 Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8c2486add83271a1226dff39caa4d3be Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
677589ea64eb9ce1d19071de3e37cc34 Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
29c42910a4aa0fcdf83d68ecd8be0122 Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c19bc8d09da3b8d8cffe2cbbdbc3f407 Coq_config libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1f4c06a8f57b5db6e6ccfff032f65149 Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1e0301790170230e560fb1749e7853e5 Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2d7f551067acf0afacfcf1f792f05f5d Pptactic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dc63ecf8ec36b076d622697bb8e1cbc7 Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0bce8cbf7f5e1e3c594c7e98d351ab14 Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
63925cf4427b803669d4c30e19d86c5f Dischargedhypsmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b9ffd1f457672c874849c9fc5a8da54a Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ba70e7ae3b85a85dda0458f9be4279bc Mltop libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
81416fce4e3a126391e4958a7f0bd9af Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
13789892ad2255567138b58a83342617 Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6eb01030129a7840a4b2ed940863181f Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ab78e0cc0599668904e218f8e2657b20 G_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
207ca4f63fd8f7d1441fd869df09eed0 Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f7d8fd3a986256cc75236524c924c150 Store libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f5c8d097990353ea6ab013343ff12ce9 Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
96c419664cd7fe4b3daaef8acc8eced8 Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b08ec5d0d2e5bb3ab326688bed029533 Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
68d3b06743a45ac4c2bbc4b34409c26c Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
364c3a6b4d4b43e41b1282d10c498aca G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
82f742f37bcd4036351849d032f81f4c Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
703915c6b558783bee50a2cc8b400ba9 Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4bb920900ed1f9024940a53b508d0040 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
eedd43b07c67a4c86331ffe4a7f00df1 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
92a562a8b2715e015a2f6465f5454293 Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6276710ee8808a2806a23355248f95f3 G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e9071240f42047233ae42d7a8b496291 Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3a166387a7bdeb55a34cce6a33e2912a Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
100b2cda9efa308fd81a932b7b0fed9a Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
548ec4ad645a671726d6ffd1aeefb42e Decls libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9de107635485f3e159f0361aa1a886cc Libnames libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bef987074ba5e0472924e387d06e2805 Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3a10e0e19cd91bff1997cfecc34d060f Tries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4232de078f1a4dfcab1286089d16c745 Vernacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
89fd728677a8ac8b05b2d7fed66fcfbb Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
529d2bb2ab2ebebe6bca92eb0bd60b6c Mfourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9b42182a58c5aa68c72b6f48acf6d18c Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f499802701d32a505ada9b5c2f03d13c Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e843ff51172e2a1b75fd48ac63306587 Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
855a897d8feda9465c17d1d9a5d98673 Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2bf8c093b3a5ad897f2321024906ae65 Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
63ebc2a7c308ccaf94b97a64ada39130 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
46ccd8f81980c2b35226216c69c60501 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6e095dbfd0483a5d9729e83090c2af3c Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
302b8a96fbda2ea940228f564897bfe7 Global libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
eefe4196975845d8135b8248e6707e7f Library libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0988329e87fe1fc615c4e0f163726e98 Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9791132d0b0da6fdfe7ce6400a2a6784 Xmlentries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8100046f6040faac2b75eb2ebc58bf26 Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
294856665ee20214b59db0d5a6b34905 R_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c9f5b5239bbd861507ce1581bf9d5ce2 Project_file libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4a36dd3c087a6ae539ec0278656f5e4c Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8526f557ecf4e97c03740732d48785ce Extract_env libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5439e1a9b20a8195a69b3dcca9a8c7d7 Record libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1bede2ccd9ea8cec69b78c1ff3648a3a Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b3cf5c4ba6b7617856f0cafe87f8f798 Class_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
eb05a65cec3c73e15e2b535cc21e16c9 Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
51c6fb054243b9e0aa08a78787a46069 Pp_control libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0359b8555afe4874520382d63e8b4577 Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
032f52ddf970f0b98be549dfafbd8835 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
32ddd10db10f11c7433dd9e1e01aad73 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a1d40a658e57581633dba43cb9be637a Subtac_classes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ca39d9cdfd5fa4667b1c91ddd220f825 G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4ddb1c858e7f3c1b46c59991988044fb Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4b023b823b24fc898c8a4515c29711d6 Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9b3bfde8ad997965e3ec285a3710e620 G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
09d36472bacd30813df242c903938b40 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e18df54fa7617888755730b20d3e2a11 Xml_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
29611017ef05c883027bbd1461735d23 Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5534e9df174e01a6eecd5aa373f1db29 Instances libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
122c6fdd27ee69a6c1231ccb2af88eb3 Nsatz libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2ed0fcfc7ceaa01c01b38effbf9905f7 Reduction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7c11793953c6cdd938c3b27f00d4dbde Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4164ff51cf195100620ff6d54e550f69 Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2bec96b21a2de4fa0432270e9df2d500 Unification libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6db1553d39e6acd73fd09e815dcb8b49 Minilib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
322abd964e844cfe5a5fad6ae891ba2f Eqdecide libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e9c475194524c50bc561035ab64787ab Typeclasses libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a1d0df2620a54367153c5cd388e1c729 Term_dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3a209432856546438651e2ccaa538b62 Segmenttree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2aabc544cc236f52049d55f7d576fd65 Unionfind libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3b7b4a69bfb96cc776d4648706663c49 Coqide libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
49f7e8eca3702aa8949fa1332a5f1f23 Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b8a9b0263b6a68c5f4d20561b77f8e1b Closure libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6e5d51a86abced6ccf606a7736491c80 Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
62270debb00cae87035eebd0e6fcaad1 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
979cdeb9e2aa0f6a43931cb1b0e7bb77 Nat_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2def9baa9f25184ecc85a6083aca5c13 Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9b8e8509e94c426689a2c8114d9510bb Merge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
040056761ee39b51a2d577a8a15295e5 Cctac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c6e286741c9c00400f29ec8f98920721 Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
54256eb7f5bfd292bfcb9e04f37a1d93 Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ad49fcbe504323e24d7bafcbd10f3155 Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c461770a31a6d33dbe8d41f8f2bed9ad Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fed10872ad043c850b79410551f5a1d3 Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
10610129c08241d9152eea37505b6834 Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
84238b265109f7b7ad7cb460d806473c Command_windows libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
de5ce96e42e8ea6401ff2394e0c25fc1 Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3d62bed07d11d66f80809b4b493cd471 Hipattern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8cfb757b82e3d8a6e0a482020673a53f Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0ce82d101b41714469d8ede789cadcea G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8b36e739682108fd1b1112868dd09199 Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a7a3491baecb4dc632a5a1ad98a3b07a Coq_commands libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a560119c52ba6b37565efa3316534ba9 Goptionstyp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
84d595c1ef8ff81ba54f434396c0a06b Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bf688feea24889fa9882b4d02db9d243 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b7b16c4d32f4f5599a23290d786d3252 Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ad26d6bb9b693b14997da87d753d7447 Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
af5153949dc171deddc61e03da9ce23b Term_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b33a55922d5aea6fbdfb8df43c87626c Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0696ed8d9810d979120cfc13bf44e492 G_decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4ba2549d8dbb76439cdfb9818e4d0848 Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cc7fe360390cfb60a63e8329aea5386a Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9ffdb965dc11956741f55150407f8ea6 Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7846836acc6f6d6fcda5464cd5efcbb7 Utf8_convert libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
30078ae914bd775b0890e3cbefb639b1 Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
91f0f3cec2093107a82d25326f48e1e7 Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8120b9c0d124a0cf9f1edb6429de6e7f Classes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8520d51fdb34b7c9377f04aea116f0f9 Fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4f9ba5f6b53d224933410cd5b683e00d Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
388eafcfb9c030524a93a10f6b2072aa Term libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6540f5ad359d217a0c58a491935ab978 Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
deb942f73f128c5fc3e0df80084be6d9 G_vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
89da458a7faa9075c8301fe82f9aa7d2 Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
53eaffbdc91cbe0131337499e41c40f4 Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aeeb7b2234062eefd7432529d731bcae Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57285c71713d8869988fcd06ac03ddef Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
df2eb513a93cfcb5369906953e73513c Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c60b55a328a12ae2ee3b8e8012d0739 Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c6af61cbb4f8e77f24c192717e237af2 Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
002bfe9fef198d9d3ecd7ff98a34dc91 Inv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4de592ff7d19f98a625772ff69e5fb32 Subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0445514091dd1513d1d374aa180dbfe4 Usage libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bbb8675c35c4cc75b507032f871eaec7 Rewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9a92da0e9ac8518efa3e325c038ce081 Conv_oracle libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8311233cd193f9ddeb86e9bc2348f29e Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a39ac66982f940688a25d6eb2d5648c7 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6f0e84912cf0a37f1f24bd2e42ef8115 Evarconv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d20f9e871ee2b50ef90b484a451ec9ba Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6014a29d10ee29160f86f161f1c8cf36 G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d6b2cc6fe9ef157b8a28b6e9f60d631f Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c979e636543a530740091a9d3d193332 Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fcf868cd5b08a6b04f5772b293c9553e Tags libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3daf067c05606042cdb7d1a7a70e7196 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c915744cb243afd21d4d964691a680e5 Lemmas libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
41931a00b4ae3902b78e50495fb916e3 Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
56c71527a959f31d2da6a2b677d43bfd Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e1b4d14ceda041286f04026456146a41 Pre_env libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f24626631b450f1b34762de0508d1db7 Ring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dd37ca13f62f43960b55be04cb64cce8 Autoinstance libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aef529d7975ea2ac60a9da16bd76c308 Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cc2875885e191b8d2bd3d6d04f042653 Unshare libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c16c562f38647faff43f7da704da0cc7 Cbytegen libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5af201d9bdfcb8ffde029f3138e989ca System libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3a134530680e668019e6e03b41d8be33 Heads libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0b410b12d7f526034b3669adf5ae9ccd Tacticals libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
afb559f9d02429edd0faedfc721111fd Cic2acic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6186a1b5311fbe083329abc8fd10eef5 Glob_term libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
770f993366f35069da8dd14fcadee4f8 ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6427dcb0e09c0d40f64953f4db048c91 Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1a7f860af479d8a2342a29affb1f8aff Quote libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
997301cc7ef863167a6e17d617d60ab8 Libobject libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c61f03929550901ea3b62942805b2e66 Subtyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
73dcb985fccdd819d1488a7bf7db6d38 Option libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
09230c918bb01e76125e06b1b7674f6c Tactic_debug libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
92d7914ad2aa0f7cfa1527a804017889 String_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
86a0c3ce5576eeaa0b8bbd2898fcba52 Elim libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3603609cc81e9d81df04aa85e9894fef Errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
14feb46e7b7a5cebae9a8b9390b0d68a Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c2935309450cbf46e2458a476b8aa4c Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
97c521c55cde351d6f35af93689636e7 Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
105fdecd4f550c079d8a81654ca52c39 Vernacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
22ac59cef812a7f530b0559dce10c3b7 Configwin libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
553b750a3f79e4d85f825acaeae8090f Pcoq libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0057ee8cf67a8dbdff2ac011389cfdf0 Ide_intf libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aa270e9e61da60876c1f233d33d9b5a6 Pp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c53d3aa318e31397a21681c1ff17d6a8 Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
70e074912dc93f581dce4febf2b9f354 Ideproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
25837135d5e3a19d6fc6fa83ddee0d93 Typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5203fb4f4dfa3fc4565bf4c84737bfbb Vernacextend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
015f0c85326e56afa71dde009aa7b8b0 Nameops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8dc903e212bd7d5af459e396478e3cb1 G_ground libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b9183fbd8aa477248a15cb641e6a00d1 Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b27579555c77a513cc8f62332f07820b Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8fd27356458a08c69001de7c2d8eadfa Nametab libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7186a529e579e7a565a8df42ea0041bb Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7a160ae3e27132207aa9e7e956203c5c DoubleTypeInference libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d945dfc65b8f1a05db2378d79bc623b1 Constrintern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
42850cab5b38718648920568575964af Extraction_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c0fb5cb1b7f84953c1a1210e90afb43d Global libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e6c142a884dff9eda1d34f3f53e5f89d Type_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
498ed51218ce9825bbfc872e651f609f Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f3e962e7a9e68ee19f03ea105350f948 G_indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aa88a9fb38c1fd77278a93ffbe456ef0 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bcddda2472e83ea56454a05b2e634bb8 Evar_tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
25f6b94c43641754b5e9dc83b8fccd13 Inductiveops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
58431db5ffc02b1baa39ed97ba53562d Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
22cb300c730f252db65f6ba55992288e G_ring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0bc28ca92e649898062e78c54a54148a G_ltac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
030caba2d3b5c2a0173a23c33738f865 Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
441af91e203e933f99425077461f0ccd Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2f7032c2b803e9ecee12ab4f5765e885 Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3d0e209fa00fba4950bf117c304913d0 G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fb30e11d717c2416594fca172134859a Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c81a26f0a9264ef11e3d50d01173ff21 Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c2ddceb9645127d2e8f36550aa233bd Tacred libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5d882cd3314241bc22fd22d2b77a3e7c Namegen libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
43c1923ea7ae7053035bdc22b6cb706d Recordops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
451936747116b466c747867a85615b53 Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4fae1132a63269e7e80b928cad9f990b Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6a636edf5363dfcb43a8032641e34ae6 Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5c74d45de664b401bb9273393653a191 Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3b69dd593af3022ce2dc8e9888c17186 Extend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0fb648fc804e8594aecb5ad7a301715c Ccproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ce20e5bb6a20c08843558162e784dbd4 Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
23e1bd1db9328dcf74d43b3d51239bcd Compat libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a580ca7627438166d157388c25b52d35 Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d22c7f53c33826d9eb84e3e302dbbb0d Configwin_keys libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7b04c8f70a47a48dca094073d298f5bb Flags libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4146e333f53fc80676b8b385043be3d2 Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
64d51c88f145e13cdddc3e90756b2e00 R_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ee70d92e5deeac3aefc1fbbb3d93f983 Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
75d0dfc127fc62ba200acbf4c2ee2682 Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
41e101e01e97c866b643d0691afb49bc G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3aba48d05e471da126897d5b9f2a2b90 Indfun_common libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9b9817c410676af994736a8fdd1cc0cc Modintern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0a47eaa97da4086115bb090f8b4207fb Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
77084115f9168dd3295411f1dd8b1f55 Goal libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
307a94041121376a763d9f702a68e64e G_subtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5e6342f32a0c84d9311ad8cfec581362 Reductionops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6b701da2fa96d35d5b76e588c187639c Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
faf6adf18c0b1a374636d62df59a4378 Store libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1306928eb073902cac6a666842d6492e Gmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
810574f69f625444eaed7d1de2dd8a54 Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3f06af319cd902802686272c06b6f3c2 Micromega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3f80cdff21f707e67bd9f8a15dcc0ed7 Assumptions libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a8e34103c8f84834eacf99027c24794b Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c3b8c11a0759b898bdb947e99a28156c Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b1c3ccd76b1a059784c3a2fbad4e9789 Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1c87ab8b07bd60a746dc382f7807dfc5 Z_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c356ac7503d80b6d1b104c8492ef45d Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
97ff46ad9f4fa8391ed8dfdbfc43c999 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
647e35ffa083e4a0ab352ea7e771d3fd States libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4a5c17031ba02b686b38fdf435028cb5 Sos_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e7da3d21563c1aac12d98195ed424744 Nsatz_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9dea985b5eec3d70793982b737daa984 Tactic_printer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1b45352db0e3e3010bb4ca6c7524c7e1 Pattern libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6f1c74c6702384c3187df7fb2ad201ca Library libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f3061a55d0b829f6e215c48d07344895 Subtac_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
717a74f771a06fff392f101c1d1fa748 Coq_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3eb5f499b592402ffde890550f9385b8 Retroknowledge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
45b224571733f5713124d644a467e99b Vernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
992f2a42416da1be9e42acca7076c0d4 Inductive libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c4b63e2c6ed3259a3fbdc68734598cdf Decl_mode libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
60a508c73fc7241e35b779162b1c4bc7 Table libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b8fc11443f20dba673f88c0e04e6c2ac Lib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bf77bbc39c18d0bb11be7756473c9cfb Cbytecodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4e27815d017211c4f1b7ca661f0e0f1f Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1b7181e41d2a0adfb9ee5faa83fe5b25 Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f097adb3c1dc523f45b0d2f593e86144 Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e0b096373b0d9fdf7c0f121ccd8d3c68 Functional_principles_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e06558b3c27366ae2d5bef4b0523357d Gmapl libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c775830c60453c34f2d25336e28164d4 Esubst libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0638eec840de29cdc4888f0701bc0689 Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
99e37e7354e37bc35d524536bb7aa96e Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fb9b452df95b589847ee1d30490e9024 Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7c63419b58c544a4bd0fad19e1dcd29a Unicodetable libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e6689c6e0d89a6bf6f79aa4ebcfdc968 Cic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ea6f0100e799c34a868fa989d810ee64 Extratactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d80c7bceaf06b9e5007f5bd4fd555fab Decl_interp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
832805bd07f63d7abd5ede519fd2359b Heap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
919009f9d000846c4e9c549c144ad444 Cbv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
45eca0444c18ae920b5bca51accef589 Csymtable libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a28bdf6b947d11f108a33513fe67d850 Autorewrite libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
89def461ebcdeedca5b5ae888a2c74ec Config_file libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
be45625931bf3fbee6f8c89cd11edfb4 Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0e143df147a2a9837b8915dbed62008c Ascii_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
16f64be7e41968a9f3c1f161cebee4b8 Search libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8d01ed7e555a6ab299dbd0e9f6ecdc81 G_constr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
caf7babfcb8adfc2c349ecd3ea8ff7e0 Classops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0aebd0df8ab03d6a42c23abe899576bc Ideal libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dad2b9fc518ad963e4fe7bfbc35287e2 Ground libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
666e1c4312d8beb92d47a2255ef104b7 Indrec libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
495fea9c7d20b4457ce4eb6aa34aa344 Arguments_renaming libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
56a3367655b89a1624d6f73265634887 Subtac_cases libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3824040575fe942b158b843b239fe7d6 Subtac_obligations libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8080a2a8e8b018b5cddbf9072b8d8511 Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
33768d6852e3610fc6f9a8f7381b4f4a Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6c84317d578655867c1e90b3925dbeda Xml_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
802d4ec6f958b2a2a5c5040de8618425 Xmlcommand libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
803c47e68e60cf89a8db49c364a33dc9 Preferences libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ddd91f2655968b0f5bed6335ae3c2141 Eterm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0df41484f6b597964fe0ac846900de9e Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0eccdcf552efe0f3c0ebc3aef4471a43 Glob_term_to_relation libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7fb5541f05e1a719dfc2c59960d3a021 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
41706a7fe638bf4404e0b904edaf09f2 Vm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c45bca935b5b557c2ce2b1024c9e8f1d Coq libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d3f4d8954c339ed3572470eafe75dcde Okey libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9c6eb82e6b8269b28e488f16fba8d017 Undo libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
be3569f0685a94d6075eb0a9a44f5fea Coq_micromega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
92668ed26d6d890f5f86193cfffbce04 Term libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d06ad363982bcce9e2ca5c5bbfc14a4f Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
68ef4e0c9211fd2e0318c72a24eab78e Modutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fd6d65383f614b875b1d56755af09a29 Extrawit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
84a4f310666bc1f3c3cb43eff440c354 Toplevel libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e9c36789f08a5bba4cff0c3e1798aefa Coqinit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
298be6e695aed1179bb935cfa255cbad Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dcbfe628d6adc8066994e5f7a9c84751 Sequent libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
41381367769168ffba9b3a741b185b63 Tauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
372fa1f9664b3bac8752af378e50a0e8 Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b1ed6ca16cc04ffef12aa3fefdea4946 Subtac_command libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1bbf8babbdab2b762ea23ec813341c04 Eqschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1b95d95d91a38f45987a8364e82d7241 Nbtermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c727bbdb5b5a6df2eff617a3d802f985 Dyn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7b2089b9c29bfdc48fa4ce9de9f39112 Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8697a2abbb45500bd445fe3e9f893c21 Evarutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4a3ae9c9947ff6af27e6171d8cd21296 Tok libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
35b15c55d87ee8bf3d8bb78b0b08d745 Xml_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a7cb355b8a536bf8c0773d23220fab39 Ccalgo libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6e787e3bb34cc405b396591d80824b57 Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f173f8a826616e4a23ccb7d0e1e22a1e Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7e32104b40e29c0ac5072b963e84e71e Quote_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
901649439d7d7d51fbeae110c9615439 Pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2d6361e460783e90f31888539df9b2e9 Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
aa52120696baaac3707864600e40c4f5 Ocaml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0ae643d0e5ba429d469c3dac4c04fe35 Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e16220362884b4c52a21ca9cbc4acc1f Certificate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57c5f5aaa124a2b6e360912ece259727 FourierR libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
75595defee47f3738daf0af38ba8e078 Prettyp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2ea0360f5fa9bd87fc13ad60b8aafb69 Metasyntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0dec82b86bac03dd4ac22a23c299ff4c Omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
69326e35515fe1a576e54c9df684de7d Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5b6b1b1ada3035e7e0640f2f5a29cb11 Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1d5fbbe68dfca9efec93fa99e5e1288a Common libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
29b4f2071f8d9d96dd2fa498a575b3ea Extraargs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5acdb125b87507f79aa1c2522c6cb12f Cemitcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3dee17ebe1433322a5792940c32c3be4 Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
401caff23ff81087c121ec19921e810e Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ef0a10dcf28596cfbda8547c21e39052 Smartlocate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
681d03ca9522081c9592642ec5f52077 Newring_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ba0a944e0a6f1e013f3b443ba4d36528 Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1282eac94b4f366bc051564aaab630f1 Tactics libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e586914a39130308aa1c40f61a214f6e Numbers_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c7012a90fff4173e6698e0213e3ccd81 Tactic_option libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
097ebb3ea40daadc7f486816adc79a5d Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6c8cae578a6383fb131263e8ddb2a0e5 Table libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57eca2beef7f54ba93270979dea4a627 Goptions libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
516463c7ee905614b12a9a04e34e6156 G_quote libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4364d5dc8af61282333b42602a326a40 Config_lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c1712f4726400717ac980a1cdfeeb73c Decl_mode_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6d060e7e0d07335e7d0cee5910438c84 Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e794654d0032c545009e9959ab81cbaa G_romega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
924995d9eaf08ec6f756e3acdfba6809 Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b4732a12d1fd7911e48c746f926f2915 Dumpglob libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
067d875691e9b47446542d29e90d7e75 Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a01d86799bc0fe201accd529bc1514ea Subtac_pretyping_F libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dfb44e9a4a3dac372f1022f85598cb0a Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4672baf4e59145f5d12d85b151146c88 Argextend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
95e2110886e3037c4df33b89f5f16995 Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
355b19804555d6b580de8b9cc17207e1 Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
145a673d577a963efd35c8588252bf0a Syntax_def libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c22d3c347de11b9d4304df9fd9b9a117 Configwin_types libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7a57107f36548a16bab6f299db0acff9 Bigint libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
51fda71eac15a434bde3990b064b6c59 Ring libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f4cde105852b7c91c565bad9ba256761 Ideutils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
328da7601d58ebc41cf8997cabfc45cb Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
306ac3877f00ed283d2d9b54511f1f46 Polynom libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fe4c1b1accbdb09f1af872971be74c65 Vnorm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
15dcf7304b9542a0b75cc42e0aac13a9 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
931f02795a33f1e68bdf4c951daffb5f Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7192d96bdb88b805851fe54428342815 Class libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c0a9568324b7df58012ff9dbc1729479 Rules libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2e224363ba4cdc5eb3234c48096f3970 Clenvtac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1656c0a176fd52430a18c7eb2b4fcf26 Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
afe306c5bcf8e872ffeb36024e219790 Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
68ae6e73fb59385bdc11b08c6ac06ced ProofTree2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
624cacd322eb1d5b18686dd6a46f3a68 Coqtop libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c302af8373c7fb5f50172e0123b67439 Scheme libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
480aea021bccd43a4d038f1441c4852a G_rtauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b90f89de4c57859e19ad1b6425fd7ab4 Polynomial libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9bf7e228837f0a5c9024d955505bffd0 Impargs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
59ea83154b19bc475d635b75deddc69d Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e5d17b156b60f4677f49ed76aca21d36 Glob_termops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
77a772368097329e33f0584f1f3393b5 Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a70db3bd2365b35160e566069734b80f G_extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a3a225939c8e36baa816f46ba78cabde Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
faa40784463fcdeb20cf0b8613b2dc00 G_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3c4a96512292503d87e888ffaf1fcc1a Names libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5e617012ca17aae762797c6034394218 Backtrack libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0484bd86cda105a2b8e95c1403fff1a3 Recdef libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
dea9f9dc6cae28fa83966d00ba19ba82 Subtac_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8d50782551b6d6f6f8541a0582cd5dea Equality libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cf18f4ccd228dd8bed171b24ccbaa8e5 Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d98de5c38d00b2e0ec68a520234ec934 Whelp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1e38e799e35986aba9c27df08544b9c8 Coqlib libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c26f746df7790a429cb956b757dd3241 Recdef_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2bef49d207ff66f423f32ca19ca50ba3 Mutils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a562c88bb8f92bd5d89e9b62402a87f3 Indfun libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c9742d1792b45ae5d7fccb59bea60217 Subtac_pretyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a62c78e2c3067a804880bdbf820dc7e6 Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cd7b79551c4a2bcbc712b2a7b9ddf59d Coq_lex libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f1e6dc8b151ffcb1dc5088f9ed3b656b Entries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3b6529bd7e0e1f6f59970e6a4cf1e057 Clenv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
822e48627e2886c3cfcaeac989776f41 Proof_type libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
99c2fb9b33dc7a4d0255cd603562a160 Subtac_utils libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
565d76e15484e453ffdbe580af01998c Decl_proof_instr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
62416765b21a929bc6f5a960b3490035 Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
77d069a00221482d4ef56c0f4e94c503 Ppextend libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5011f34a29e5e66a91acfdb85c2f8a19 Command libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c7f22397eb215fb111f08a19ea731067 Logic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7c827290bff80ede8d9bd9310dd292d7 Functional_principles_proofs libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
20ced2c2e15dfa17686a6493a22ec190 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
28ec84d65adad500e3ac2928faac5f0b Indtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a5c948b11226cc2b873d79d081b465e1 Printer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6f7a59512eb0b550a43a950b1c0b556f G_prim libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
183dc1fbb6bca1231dfc42f0c4fe8172 Configwin_ihm libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fe75ae7f5ee81ea251be57f2f6be7230 Q_util libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a7bbd7fcb20a56b0cdfc22f8da6afbb7 Leminv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7639b726ac2fd4b817272478794dcdeb Typeops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
395df7599a22b43b4eedf822626b8802 Xml_parser libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
21e525f1e94ad32fd78d7c99ec43b0bb Himsg libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7e6ac0f926f500530004744a5008eb49 Egrammar libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ac17b177e5d96c5665f5d4022adfac19 Safe_typing libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0869e1952cc14c48efb867b182d48cca Utile libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
31d8cc1e6c1609dc1f77bd0e96168530 Rtauto_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
36cda76055b0ecf37c859893c2247f1b Redexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b370dce92f541805a7d78209f4f83cbc Indschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ed880f74791989cd8d2c6e5f352088c5 Vernacentries libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
87e643deba0017b2dcbc31aa19f667ea Refl_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0a19553f6b555aa7d52f704281c8abb4 Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0ac31a2a207690843d749a0008c22ac1 Libtypes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
95607626ee0a6db153611d9ee858f87b Sign libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c9d3f2d490a933cd74c42e617899634a Acic2Xml libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f98d18a280ecdebe910dbd9224b97a62 Vconv libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4febe515ddbda757d98d38194bbd97d2 Configwin_messages libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c704247b18955fa30b801bf7d1660601 Copcodes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9685b4a1b630d4b2838e53b2158cdfd0 Refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
31dbbd1d009f2079c86b3b6f63f4a4ef Discharge libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b793fdfb29710b22d1c6c903af2ecd1a Mod_subst libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8646c7513719d9ac9592a3968d885783 Termdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
30c7c9f67ef491ec8e8f7d3713cdad90 Hashtbl_alt libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1f06aee28bc257db81495ada2a155c18 Summary libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1a64ed2a0b2335aace63efa88beb5ed8 Editable_cells libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
46171ca5bd66231d28a934e40f9f7d4b G_congruence libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e6b34ff8c177aeae76d2654296ebff87 Tacinterp libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8d4f86ebe0fdc86687dcd3134f8d0d80 Const_omega libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d2b384adf1ce08dc4cc7283280cdf21d Fmap libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8ecfb4b72806b72249d81d19b3075cd1 Util libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4f6640ec64abf003ac7f99fa205634fb Declarations libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3f8c1c830d97871bb4462cbffa75f020 Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7cea733ad4e220419b6a2a3a439c4aa4 Ppdecl_proof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ec7694952bf5b2d1aac0c02fb9897c65 Matching libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6738bb0826caad213f1f9efff781b134 Modops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7debc62c093fd1e3994a8277c4713759 Ppvernac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
20fda29a6ab48f6d7e56aa212b41ac00 Typeclasses_errors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5f45583090a7c1528c47d7ad7952ee5e Declare libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e73d459d39b7ab6542c166b9faff1a57 Btermdn libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
11adb2748f514d9282f9aee33285409a Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
6e965c43d56ebffdf42732e82699c389 Genarg libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1277302590eea5329150d90203e18330 Subtac_coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1b419721fe50e1683aa047a9756ae266 Proof_global libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
926dd86665c3ce330073133af595eeaf Elimschemes libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1bb7507cc60e241145aa7c12f2c98069 Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3be39ed1fce90319cf50110a78991e98 Lexer libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
587e78a71a8255e51e5a27d80c682948 Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
ab104a6a598c444af8c2b52597f097be Auto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
5bb9e483efb3a27590c2de0272a08c77 Proof_search libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57247dd486c9858f2ed145dd6e7714b0 Ind_tables libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0d2c9dff9d9b17c8585aa909d4b7bc36 Z_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
102682a36389267f04521e46110a6809 Persistent_cache libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
eb0e83e14a612ac6125f4f8f54fd3e0a Cc_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0c17337e01196e3c8ee1f089390eb962 Acic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f9607e4b80968869a6952d865e41fda5 Coercion libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a861308082b9bddacb4eeae9e4e4c419 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
27eb54100b464742bf0b37c442c1e7dc Cooking libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
e7c5e5f8fb50fc9bc6fd5ee51d23172f Tacmach libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
fab968296f588118aeb6980af5d91b95 Fset libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
379310da8b8286698efc60ea541589a4 G_fourier libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
54b8ea2ddda30a88cada779d70b0cf1e Mlutil libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a3ce385fcb5b9f03da1fc5b0de47d40f Hiddentac libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d3ac1f4e33e71740a737463f52ff7a11 Omega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
9181998c4c4deefe5c803c83469efdca Proof2aproof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7ec7e98aae17c66dbb21b0472ade067e Cases libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1c26c12cbfc791c67bcb86ba813b7d12 Haskell libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
3d8a1f971bb18df9892d2bd0e1e311dd Ide_slave libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0abfc6edc88b26a6a96711932bb14d6a Termops libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
f61bec9d8e40a92df10abecd2f93283d Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4aefdca5b82231f7f2963660e38f359d Dnet libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
101610ead8b20d77e5ba3ea627cb0152 Pfedit libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d88d9cc2e8d78c87ce93899ced349ad1 Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
956407066db7cf6442c3be76a6fd3c12 Notation libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
7bac9fe2147e3f774da7d12006c4bf9b Reserve libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
43777bdbb1cffe99e38ef3d137a113dc Refine libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
0a34c3a074db8e5e98b8a1b697ee16d9 Numbers_syntax libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2b6b375ef23bf696cf2730c4c2f18b1c Fourier_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
197326dd9c210d4e9864085c1ea08a2b Decl_kinds libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
027576ea57d810da35e219b60dfe9c96 Eauto libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1dcab32f6f22e1b21d1ec9dfb532d990 Cerrors libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
328a1c4469934cf643f7ddfc597e9617 System libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
a626dec5a48942e5cae97b6af3540faa Implicit_quantifiers libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
b78cd5f098df4365f688a604a4cb2cb6 Ascii_syntax_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2a5c92b54fcff2190ad337a9438ffd8f Retyping libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
cb8acdb9cd79d2858cb39e2c67acb76f Dumptree libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
071c72aec9ef654fcd54e2897ab64d44 Ppconstr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
2fea2cb73c6d034e99791fc08cfa11af Predicate libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1a348c716417bf8419f6296d9c2c805b Evar_refiner libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
551f984403fc9f879361c6259c393fa2 Extraction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
568848a2fc1424fb15d54d1e51af71c4 Profile libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
d0aa2e7ba0c01712823bdecc30e32a6d G_tactic libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
57cf9f4fe2505a9f1856569d268486b5 Envars libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
43526255c47d58c606fae894e8992245 Proof libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
bebfae3d7f590bcf44fc1ba04daaff9a Romega_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
8355dda8724a8edb1e5aca988f1c44d7 Auto_ind_decl libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c8722c1b3d4ee8b1743ba896eb21471c Typed_notebook libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
c6bc373c508181f88a2a5c1fe9dc0c20 Field libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
67ea8025f7fefb18845feea38971c55e Explore libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
174cbe71f4e7eb53180ddc7dc02beabf Contradiction libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
4af3a6105d3426e1b47c50d60469aaf6 Formula libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
1f66751f9cfd05754962cb17a5eb8b19 Util libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
196b1a22d44f749961029a139d17468b Ground_plugin_mod libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
75f09f1d774996acee7efdd33c919540 Tacexpr libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57
75c588979928dbd359eaee80ae45b97a Proofview libcoq-ocaml-dev libcoq-ocaml 8.4pl3dfsg-1 g3g57