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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.12.0-3+b3_powerpc.deb 239153242020-Nov-25 21:03
coq_8.12.0-3+b3_powerpc.buildinfo 161122020-Nov-25 21:03
coq_8.12.0-3+b3_powerpc.deb 1058735402020-Nov-25 21:03
coq_9.2.0+dfsg-1_powerpc.buildinfo 160842026-Jul-10 21:03
coq_9.2.0+dfsg-1_powerpc.deb 241017842026-Jul-10 21:03
coqide_8.12.0-3+b3_powerpc.deb 467562020-Nov-25 21:03
libcoq-core-ocaml-dev_9.2.0+dfsg-1_powerpc.deb 463044242026-Jul-10 21:03
libcoq-core-ocaml_9.2.0+dfsg-1_powerpc.deb 180005642026-Jul-10 21:03
libcoq-core_9.2.0+dfsg-1_powerpc.deb 11514762026-Jul-10 21:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb 355602020-Nov-25 21:03
libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb 112821002020-Nov-25 21:03
libcoq-ocaml_8.12.0-3+b3_powerpc.deb 54617962020-Nov-25 21:03
rocqide_9.2.0+dfsg-1_powerpc.deb 6221682026-Jul-10 21:03