coq

Name	Size	Modified
Up
coq-theories_8.12.0-3+b3_amd64.deb	35 MiB	11/25/2020 07:28:14 AM +00:00
coq-theories_8.12.0-3+b3_arm64.deb	23 MiB	11/25/2020 07:58:53 AM +00:00
coq-theories_8.12.0-3+b3_i386.deb	34 MiB	11/25/2020 07:18:08 AM +00:00
coq-theories_8.9.0-1_amd64.deb	28 MiB	02/06/2019 06:49:32 PM +00:00
coq-theories_8.9.0-1_i386.deb	27 MiB	02/06/2019 08:21:01 PM +00:00
coq_8.12.0-3+b3_amd64.deb	86 MiB	11/25/2020 07:28:15 AM +00:00
coq_8.12.0-3+b3_arm64.deb	92 MiB	11/25/2020 07:58:54 AM +00:00
coq_8.12.0-3+b3_i386.deb	84 MiB	11/25/2020 07:18:08 AM +00:00
coq_8.16.1+dfsg-1+b2_amd64.deb	89 MiB	02/13/2023 01:14:24 AM +00:00
coq_8.16.1+dfsg-1+b2_arm64.deb	97 MiB	02/13/2023 01:55:59 AM +00:00
coq_8.16.1+dfsg-1+b2_i386.deb	84 MiB	02/13/2023 01:29:50 AM +00:00
coq_8.9.0-1_amd64.deb	56 MiB	02/06/2019 06:49:32 PM +00:00
coq_8.9.0-1_i386.deb	54 MiB	02/06/2019 08:21:01 PM +00:00
coqide_8.12.0-3+b3_amd64.deb	1.8 MiB	11/25/2020 07:28:15 AM +00:00
coqide_8.12.0-3+b3_arm64.deb	2.1 MiB	11/25/2020 07:58:54 AM +00:00
coqide_8.12.0-3+b3_i386.deb	1.6 MiB	11/25/2020 07:18:08 AM +00:00
coqide_8.16.1+dfsg-1+b2_amd64.deb	1.9 MiB	02/13/2023 01:14:24 AM +00:00
coqide_8.16.1+dfsg-1+b2_arm64.deb	2.2 MiB	02/13/2023 01:55:59 AM +00:00
coqide_8.16.1+dfsg-1+b2_i386.deb	1.7 MiB	02/13/2023 01:29:50 AM +00:00
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	41 MiB	02/13/2023 01:14:24 AM +00:00
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb	41 MiB	02/13/2023 01:55:59 AM +00:00
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb	40 MiB	02/13/2023 01:29:50 AM +00:00
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	22 MiB	02/13/2023 01:14:24 AM +00:00
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb	22 MiB	02/13/2023 01:55:59 AM +00:00
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb	21 MiB	02/13/2023 01:29:50 AM +00:00
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb	18 MiB	11/25/2020 07:28:15 AM +00:00
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb	18 MiB	11/25/2020 07:58:54 AM +00:00
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb	18 MiB	11/25/2020 07:18:08 AM +00:00
libcoq-ocaml-dev_8.9.0-1_amd64.deb	13 MiB	02/06/2019 06:49:32 PM +00:00
libcoq-ocaml-dev_8.9.0-1_i386.deb	13 MiB	02/06/2019 08:21:01 PM +00:00
libcoq-ocaml_8.12.0-3+b3_amd64.deb	7.4 MiB	11/25/2020 07:28:15 AM +00:00
libcoq-ocaml_8.12.0-3+b3_arm64.deb	7.6 MiB	11/25/2020 07:58:54 AM +00:00
libcoq-ocaml_8.12.0-3+b3_i386.deb	7.2 MiB	11/25/2020 07:18:09 AM +00:00
libcoq-ocaml_8.9.0-1_amd64.deb	5.2 MiB	02/06/2019 06:49:32 PM +00:00
libcoq-ocaml_8.9.0-1_i386.deb	4.9 MiB	02/06/2019 08:21:01 PM +00:00
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	20 MiB	02/13/2023 01:14:24 AM +00:00
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb	20 MiB	02/13/2023 01:55:59 AM +00:00
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb	20 MiB	02/13/2023 01:29:50 AM +00:00