coq

0 directories 5 files

Name	Size	Modified
Go up	—	—
coq_8.20.0+dfsg-1+b1_amd64.deb	67 MiB	02/24/2025 11:46:28 PM +00:00
coqide_8.20.0+dfsg-1+b1_amd64.deb	1.8 MiB	02/24/2025 11:46:28 PM +00:00
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb	66 MiB	02/24/2025 11:46:28 PM +00:00
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb	25 MiB	02/24/2025 11:46:28 PM +00:00
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb	22 MiB	02/24/2025 11:46:28 PM +00:00