mirror-gw.elastis.id
  1. (mirror-gw.elastis.id)
  2. ubuntu
  3. pool
  4. universe
  5. c
  6. coq-elpi
NameLast modified(Sorted by ascending last-modified date)Size
(File)
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
February 11, 2022 6:34 AM
1.6M
(File)
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
February 11, 2022 6:34 AM
4.8M
(File)
libcoq-elpi_1.19.3-2build4_amd64.deb
April 8, 2024 2:57 PM
3.0M
(File)
libcoq-elpi_2.4.0-1build1_amd64.deb
February 19, 2025 4:25 AM
13M
Made with love and open source.