Index of /ubuntu/pool/universe/c/coq/

../
coq-theories_8.2.pl1+dfsg-6_all.deb                30-Mar-2026 23:55     17M
coq-theories_8.3.pl4+dfsg-1_all.deb                02-Apr-2026 22:19     52M
coq_8.2.pl1+dfsg-6_amd64.deb                       30-Mar-2026 23:55     15M
coq_8.2.pl1+dfsg-6_i386.deb                        30-Mar-2026 23:55     13M
coq_8.3.pl4+dfsg-1_amd64.deb                       02-Apr-2026 22:19      5M
coq_8.3.pl4+dfsg-1_i386.deb                        02-Apr-2026 22:19      5M
coqide_8.2.pl1+dfsg-6_amd64.deb                    30-Mar-2026 23:55      6M
coqide_8.2.pl1+dfsg-6_i386.deb                     30-Mar-2026 23:55      6M
coqide_8.3.pl4+dfsg-1_amd64.deb                    02-Apr-2026 22:19      5M
coqide_8.3.pl4+dfsg-1_i386.deb                     02-Apr-2026 22:20      5M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb          30-Mar-2026 23:55      6M
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb           30-Mar-2026 23:55      6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb          02-Apr-2026 22:20      6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb           02-Apr-2026 22:20      5M
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb              02-Apr-2026 22:20      2M
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb               02-Apr-2026 22:20      2M