coq

0 directories 5 files

Name	Size	Modified
Go up	—	—
coq_8.19.1+dfsg-3+b2_amd64.deb	83 MiB	11/06/2024 01:07:29 PM +00:00
coqide_8.19.1+dfsg-3+b2_amd64.deb	2.1 MiB	11/06/2024 01:11:36 PM +00:00
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb	64 MiB	11/06/2024 01:07:56 PM +00:00
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb	24 MiB	11/06/2024 01:30:01 PM +00:00
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb	23 MiB	11/06/2024 01:22:42 PM +00:00