coq

0 directories 5 files

Name	Size	Modified
Go up	—	—
coq_8.20.1+dfsg-1_amd64.deb	67 MiB	03/26/2025 04:47:21 PM +00:00
coqide_8.20.1+dfsg-1_amd64.deb	1.8 MiB	03/26/2025 04:49:13 PM +00:00
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb	66 MiB	03/26/2025 05:01:11 PM +00:00
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb	25 MiB	03/26/2025 04:36:07 PM +00:00
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb	22 MiB	03/26/2025 04:38:17 PM +00:00