coq

0 directories 5 files

Name	Size	Modified
Go up	—	—
coq_8.20.1+dfsg-1+b1_amd64.deb	67 MiB	08/09/2025 06:34:05 PM +00:00
coqide_8.20.1+dfsg-1+b1_amd64.deb	1.8 MiB	08/09/2025 06:34:05 PM +00:00
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb	66 MiB	08/09/2025 06:34:05 PM +00:00
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb	25 MiB	08/09/2025 06:34:05 PM +00:00
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb	22 MiB	08/09/2025 06:34:05 PM +00:00