Index of /debian-ports/pool-loong64/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-dbgsym_8.19.1+dfsg-3_loong64.deb 96644122024-Aug-03 21:03
coq_8.19.1+dfsg-3_loong64.buildinfo 170852024-Aug-03 21:03
coq_8.19.1+dfsg-3_loong64.deb 848688282024-Aug-03 21:03
coqide-dbgsym_8.19.1+dfsg-3_loong64.deb 6676602024-Aug-03 21:03
coqide_8.19.1+dfsg-3_loong64.deb 22040882024-Aug-03 21:03
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_loong64.deb 22232882024-Aug-03 21:03
libcoq-core-ocaml-dev_8.19.1+dfsg-3_loong64.deb 491229802024-Aug-03 21:03
libcoq-core-ocaml_8.19.1+dfsg-3_loong64.deb 236858842024-Aug-03 21:03
libcoq-stdlib_8.19.1+dfsg-3_loong64.deb 236550802024-Aug-03 21:03