Index of /debian/pool/main/c/coq/

/debian/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-ocaml_8.9.0-1_amd64.deb5.2 MiB2019-02-06T18:49Z
libcoq-ocaml-dev_8.9.0-1_amd64.deb13.1 MiB2019-02-06T18:49Z
coq_8.9.0-1_amd64.deb56.3 MiB2019-02-06T18:49Z
coq_8.9.0-1.dsc2.4 KiB2019-02-06T18:49Z
coq_8.9.0-1.debian.tar.xz27.2 KiB2019-02-06T18:49Z
coq_8.9.0.orig.tar.gz5.1 MiB2019-02-06T18:49Z
coq-theories_8.9.0-1_amd64.deb28.4 MiB2019-02-06T18:49Z
libcoq-ocaml_8.9.0-1_i386.deb4.9 MiB2019-02-06T20:21Z
libcoq-ocaml-dev_8.9.0-1_i386.deb13.1 MiB2019-02-06T20:21Z
coq-theories_8.9.0-1_i386.deb27.1 MiB2019-02-06T20:21Z
coq_8.9.0-1_i386.deb53.6 MiB2019-02-06T20:21Z
coq-theories_8.9.0-1_arm64.deb19.4 MiB2019-02-06T20:26Z
coq_8.9.0-1_arm64.deb60.4 MiB2019-02-06T20:26Z
libcoq-ocaml_8.9.0-1_arm64.deb5.5 MiB2019-02-06T20:26Z
libcoq-ocaml-dev_8.9.0-1_arm64.deb13.4 MiB2019-02-06T20:26Z
libcoq-ocaml_8.9.0-1_armhf.deb5.1 MiB2019-02-07T21:15Z
libcoq-ocaml-dev_8.9.0-1_armhf.deb13.7 MiB2019-02-07T21:15Z
coq_8.9.0-1_armhf.deb54.7 MiB2019-02-07T21:15Z
coq-theories_8.9.0-1_armhf.deb19.4 MiB2019-02-07T21:15Z
coq_8.12.0.orig.tar.gz5.7 MiB2020-08-22T09:26Z
coq_8.12.0-3.dsc2.4 KiB2020-09-10T06:38Z
coq_8.12.0-3.debian.tar.xz36.9 KiB2020-09-10T06:38Z
coq_8.12.0-3+b3_i386.deb83.8 MiB2020-11-25T07:18Z
coqide_8.12.0-3+b3_i386.deb1.6 MiB2020-11-25T07:18Z
coq-theories_8.12.0-3+b3_i386.deb33.6 MiB2020-11-25T07:18Z
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb17.8 MiB2020-11-25T07:18Z
libcoq-ocaml_8.12.0-3+b3_i386.deb7.2 MiB2020-11-25T07:18Z
coq-theories_8.12.0-3+b3_amd64.deb34.8 MiB2020-11-25T07:28Z
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb17.9 MiB2020-11-25T07:28Z
coq_8.12.0-3+b3_amd64.deb86.3 MiB2020-11-25T07:28Z
coqide_8.12.0-3+b3_amd64.deb1.8 MiB2020-11-25T07:28Z
libcoq-ocaml_8.12.0-3+b3_amd64.deb7.4 MiB2020-11-25T07:28Z
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb7.5 MiB2020-11-25T07:28Z
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb18.5 MiB2020-11-25T07:28Z
coq_8.12.0-3+b3_ppc64el.deb87.2 MiB2020-11-25T07:28Z
coqide_8.12.0-3+b3_ppc64el.deb1.9 MiB2020-11-25T07:28Z
coq-theories_8.12.0-3+b3_ppc64el.deb22.8 MiB2020-11-25T07:28Z
coqide_8.12.0-3+b3_armhf.deb1.7 MiB2020-11-25T07:43Z
coq_8.12.0-3+b3_armhf.deb84.3 MiB2020-11-25T07:43Z
coq-theories_8.12.0-3+b3_armhf.deb22.8 MiB2020-11-25T07:43Z
libcoq-ocaml_8.12.0-3+b3_armhf.deb7.4 MiB2020-11-25T07:43Z
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb18.3 MiB2020-11-25T07:43Z
coq-theories_8.12.0-3+b3_arm64.deb22.8 MiB2020-11-25T07:58Z
coqide_8.12.0-3+b3_arm64.deb2.1 MiB2020-11-25T07:58Z
libcoq-ocaml_8.12.0-3+b3_arm64.deb7.6 MiB2020-11-25T07:58Z
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb17.9 MiB2020-11-25T07:58Z
coq_8.12.0-3+b3_arm64.deb91.6 MiB2020-11-25T07:58Z
coq_8.12.0-3+b3_mips64el.deb101.0 MiB2020-11-25T16:41Z
coq-theories_8.12.0-3+b3_mips64el.deb22.8 MiB2020-11-25T16:41Z
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb10.8 MiB2020-11-25T16:41Z
coqide_8.12.0-3+b3_mips64el.deb45.6 KiB2020-11-25T16:41Z
libcoq-ocaml_8.12.0-3+b3_mips64el.deb5.2 MiB2020-11-25T16:41Z
coq-theories_8.12.0-3+b3_armel.deb22.8 MiB2020-11-25T17:44Z
coqide_8.12.0-3+b3_armel.deb45.7 KiB2020-11-25T17:44Z
coq_8.12.0-3+b3_armel.deb101.0 MiB2020-11-25T17:44Z
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb10.8 MiB2020-11-25T17:44Z
libcoq-ocaml_8.12.0-3+b3_armel.deb5.2 MiB2020-11-25T17:44Z
coq-theories_8.12.0-3+b3_mipsel.deb22.8 MiB2020-11-26T00:43Z
coq_8.12.0-3+b3_mipsel.deb101.0 MiB2020-11-26T00:43Z
coqide_8.12.0-3+b3_mipsel.deb45.7 KiB2020-11-26T00:43Z
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb10.8 MiB2020-11-26T00:43Z
libcoq-ocaml_8.12.0-3+b3_mipsel.deb5.2 MiB2020-11-26T00:43Z
coq_8.16.1+dfsg-1.debian.tar.xz32.5 KiB2022-11-29T08:35Z
coq_8.16.1+dfsg-1.dsc2.6 KiB2022-11-29T08:35Z
coq_8.16.1+dfsg.orig.tar.xz4.5 MiB2022-11-29T08:35Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb21.5 MiB2023-02-13T01:14Z
coqide_8.16.1+dfsg-1+b2_amd64.deb1.9 MiB2023-02-13T01:14Z
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb20.5 MiB2023-02-13T01:14Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb40.7 MiB2023-02-13T01:14Z
coq_8.16.1+dfsg-1+b2_amd64.deb88.9 MiB2023-02-13T01:14Z
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb20.5 MiB2023-02-13T01:29Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb40.5 MiB2023-02-13T01:29Z
coq_8.16.1+dfsg-1+b2_i386.deb83.5 MiB2023-02-13T01:29Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb20.7 MiB2023-02-13T01:29Z
coqide_8.16.1+dfsg-1+b2_i386.deb1.7 MiB2023-02-13T01:29Z
coq_8.16.1+dfsg-1+b2_s390x.deb89.0 MiB2023-02-13T01:45Z
coqide_8.16.1+dfsg-1+b2_s390x.deb1.9 MiB2023-02-13T01:45Z
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb20.5 MiB2023-02-13T01:45Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb40.3 MiB2023-02-13T01:45Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb21.6 MiB2023-02-13T01:45Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb41.1 MiB2023-02-13T01:55Z
coq_8.16.1+dfsg-1+b2_armhf.deb85.7 MiB2023-02-13T01:55Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb21.2 MiB2023-02-13T01:55Z
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb20.5 MiB2023-02-13T01:55Z
coqide_8.16.1+dfsg-1+b2_armhf.deb1.7 MiB2023-02-13T01:55Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb40.8 MiB2023-02-13T01:55Z
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb20.5 MiB2023-02-13T01:55Z
coqide_8.16.1+dfsg-1+b2_arm64.deb2.2 MiB2023-02-13T01:55Z
coq_8.16.1+dfsg-1+b2_arm64.deb97.4 MiB2023-02-13T01:55Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb22.0 MiB2023-02-13T01:55Z
coqide_8.16.1+dfsg-1+b2_ppc64el.deb2.0 MiB2023-02-13T03:13Z
coq_8.16.1+dfsg-1+b2_ppc64el.deb89.5 MiB2023-02-13T03:13Z
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb41.5 MiB2023-02-13T03:13Z
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb20.5 MiB2023-02-13T03:13Z
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb21.6 MiB2023-02-13T03:13Z
coq_8.20.0+dfsg.orig.tar.xz4.8 MiB2024-11-20T09:52Z
coq_8.20.0+dfsg-1.dsc2.5 KiB2024-11-20T09:52Z
coq_8.20.0+dfsg-1.debian.tar.xz29.5 KiB2024-11-20T09:52Z
coq_8.20.0+dfsg-1_amd64.deb73.4 MiB2024-11-20T10:33Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb66.2 MiB2024-11-20T10:33Z
coqide_8.20.0+dfsg-1_amd64.deb1.8 MiB2024-11-20T10:33Z
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb24.7 MiB2024-11-20T10:33Z
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb22.4 MiB2024-11-20T10:33Z
coq_8.20.0+dfsg-1_arm64.deb77.1 MiB2024-11-20T10:58Z
coqide_8.20.0+dfsg-1_arm64.deb2.1 MiB2024-11-20T10:58Z
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb25.1 MiB2024-11-20T10:58Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb66.0 MiB2024-11-20T10:58Z
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb22.4 MiB2024-11-20T10:58Z
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb24.7 MiB2024-11-20T11:00Z
coq_8.20.0+dfsg-1_ppc64el.deb73.6 MiB2024-11-20T11:00Z
coqide_8.20.0+dfsg-1_ppc64el.deb1.9 MiB2024-11-20T11:00Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb66.8 MiB2024-11-20T11:00Z
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb22.4 MiB2024-11-20T11:00Z
coqide_8.20.0+dfsg-1_riscv64.deb1.9 MiB2024-11-20T13:10Z
coq_8.20.0+dfsg-1_riscv64.deb73.9 MiB2024-11-20T13:10Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb70.8 MiB2024-11-20T13:10Z
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb24.7 MiB2024-11-20T13:10Z
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb22.4 MiB2024-11-20T13:10Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb65.7 MiB2024-11-20T15:02Z
coq_8.20.0+dfsg-1_s390x.deb73.7 MiB2024-11-20T15:02Z
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb24.7 MiB2024-11-20T15:02Z
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb22.4 MiB2024-11-20T15:02Z
coqide_8.20.0+dfsg-1_s390x.deb1.9 MiB2024-11-20T15:02Z
coqide_8.20.0+dfsg-1+b1_ppc64el.deb1.9 MiB2025-01-28T16:09Z
coq_8.20.0+dfsg-1+b1_ppc64el.deb67.5 MiB2025-01-28T16:09Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_ppc64el.deb66.1 MiB2025-01-28T16:09Z
libcoq-core-ocaml_8.20.0+dfsg-1+b1_ppc64el.deb24.8 MiB2025-01-28T16:09Z
libcoq-stdlib_8.20.0+dfsg-1+b1_ppc64el.deb22.4 MiB2025-01-28T16:09Z
coq_8.20.0+dfsg-1+b1_amd64.deb66.8 MiB2025-01-28T17:00Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb65.5 MiB2025-01-28T17:00Z
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb24.7 MiB2025-01-28T17:00Z
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb22.4 MiB2025-01-28T17:00Z
coqide_8.20.0+dfsg-1+b1_amd64.deb1.8 MiB2025-01-28T17:00Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github