Index of /debian-ports/pool-alpha/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.12.0-3+b3_alpha.deb 239216602020-Nov-26 09:03
coq_8.12.0-3+b3_alpha.buildinfo 157252020-Nov-26 09:03
coq_8.12.0-3+b3_alpha.deb 1058617442020-Nov-26 09:03
coq_9.2.0+dfsg-1_alpha.buildinfo 158762026-Jul-10 21:03
coq_9.2.0+dfsg-1_alpha.deb 242213242026-Jul-10 21:03
coqide_8.12.0-3+b3_alpha.deb 467402020-Nov-26 09:03
libcoq-core-ocaml-dev_9.2.0+dfsg-1_alpha.deb 462924642026-Jul-10 21:03
libcoq-core-ocaml_9.2.0+dfsg-1_alpha.deb 179964162026-Jul-10 21:03
libcoq-core_9.2.0+dfsg-1_alpha.deb 11515482026-Jul-10 21:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb 335602020-Nov-26 09:03
libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb 112802562020-Nov-26 09:03
libcoq-ocaml_8.12.0-3+b3_alpha.deb 54609602020-Nov-26 09:03
rocqide_9.2.0+dfsg-1_alpha.deb 6068522026-Jul-10 21:03