coq

0 directories 5 files

Name	Size	Modified
Go up	—	—
coq_8.19.1+dfsg-3+b2_amd64.deb	83 MiB	09/21/2024 12:14:50 PM +00:00
coqide_8.19.1+dfsg-3+b2_amd64.deb	2.1 MiB	09/21/2024 12:21:58 PM +00:00
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb	64 MiB	09/21/2024 12:27:31 PM +00:00
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb	24 MiB	09/21/2024 12:13:56 PM +00:00
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb	23 MiB	09/21/2024 12:23:34 PM +00:00