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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.12.0-3+b3_sparc64.deb 239204242020-Nov-25 21:03
coq_8.12.0-3+b3_sparc64.buildinfo 161032020-Nov-25 21:03
coq_8.12.0-3+b3_sparc64.deb 1058557922020-Nov-25 21:03
coq_9.1.0+dfsg-3+sparc64.debian.tar.xz 242322026-Feb-15 09:03
coq_9.1.0+dfsg-3+sparc64.dsc 25722026-Feb-15 09:03
coq_9.1.0+dfsg-3+sparc64_sparc64.buildinfo 164442026-Feb-15 09:03
coq_9.1.0+dfsg-3+sparc64_sparc64.deb 234008682026-Feb-15 09:03
coq_9.2.0+dfsg-1_sparc64.buildinfo 159612026-Jul-10 21:03
coq_9.2.0+dfsg-1_sparc64.deb 239259322026-Jul-10 21:03
coqide_8.12.0-3+b3_sparc64.deb 467602020-Nov-25 21:03
libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_sparc64.deb 448577842026-Feb-15 09:03
libcoq-core-ocaml-dev_9.2.0+dfsg-1_sparc64.deb 462853962026-Jul-10 21:03
libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb 174745642026-Feb-15 09:03
libcoq-core-ocaml_9.2.0+dfsg-1_sparc64.deb 179948482026-Jul-10 21:03
libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb 11373322026-Feb-15 09:03
libcoq-core_9.2.0+dfsg-1_sparc64.deb 11525562026-Jul-10 21:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb 363522020-Nov-25 21:03
libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb 112791442020-Nov-25 21:03
libcoq-ocaml_8.12.0-3+b3_sparc64.deb 54593402020-Nov-25 21:03
rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb 5553002026-Feb-15 09:03
rocqide_9.2.0+dfsg-1_sparc64.deb 5523002026-Jul-10 21:03