fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for package cryptominisat

Namecryptominisat
ID1993
Builds
1 through 6 of 6
NVR Built by Finished descending sort State
cryptominisat-5.13.0-1.fc42 kojiadmin 2025-06-16 13:59:15 complete
cryptominisat-5.12.1-1.fc42 kojiadmin 2025-03-07 19:53:52 complete
cryptominisat-5.11.22-2.fc41 lichengxi 2024-10-19 20:53:49 complete
cryptominisat-5.11.21-3.fc41 kojiadmin 2024-06-10 00:33:33 complete
cryptominisat-5.11.21-1.fc40 kojiadmin 2024-05-03 01:24:06 complete
cryptominisat-5.11.21-2.fc41 kojiadmin 2024-05-01 21:07:18 complete
Builds 1 through 6 of 6
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
Tags 1 through 5 of 5