Tino Repository

  1. Home
  2. ubuntu
  3. pool
  4. universe
  5. c
  6. cadical
Name Last Modified Size
Parent Directory/   -  
cadical_1.7.4-1.debian.tar.xz 2024-02-15 12:29 3.9K
cadical_1.7.4-1.dsc 2024-02-15 12:29 1.9K
cadical_1.7.4-1_amd64.deb 2024-02-15 12:30 453.7K
cadical_1.7.4.orig.tar.gz 2024-02-15 12:29 632.6K
libcadical-dev_1.7.4-1_amd64.deb 2024-02-15 12:30 375.5K