coq

0 directories 5 files

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