/mirror/fedora/linux/updates/testing/42/Everything/x86_64/Packages/y/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
yices-2.7.0-1.fc42.x86_64.rpm1.3 MiB2025-Jul-18 20:42
yices-devel-2.7.0-1.fc42.x86_64.rpm44.3 KiB2025-Jul-18 20:42
yices-doc-2.7.0-1.fc42.noarch.rpm1.5 MiB2025-Jul-18 20:42
yices-tools-2.7.0-1.fc42.x86_64.rpm2.1 MiB2025-Jul-18 20:42
Mirror operated by University of Calgary Department of Computer Science
Send questions and comments to cpsc.uls@ucalgary.ca