Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Fri, 10 May 2024 00:18:44 UTC |
login
Information for package
cryptominisat
Name
cryptominisat
ID
1073
Builds
1 through 21 of 21
NVR
Built by
Finished
State
cryptominisat-5.11.21-1.fc40
davidlt
2024-02-25 17:28:56
cryptominisat-5.8.0-15.rvre0.fc40
davidlt
2024-01-10 17:26:25
cryptominisat-5.8.0-15.fc40
davidlt
2023-10-31 17:17:05
cryptominisat-5.8.0-12.fc38
davidlt
2023-03-16 15:42:45
cryptominisat-5.8.0-10.fc37
churchyard
2022-09-26 10:33:56
cryptominisat-5.8.0-1.fc33
davidlt
2020-12-24 13:09:09
cryptominisat-5.7.1-4.fc33
davidlt
2020-08-13 12:57:41
cryptominisat-5.7.1-3.fc33
davidlt
2020-06-08 07:30:35
cryptominisat-5.7.1-1.fc33
davidlt
2020-05-07 18:51:23
cryptominisat-5.7.0-1.fc33
davidlt
2020-05-07 06:52:31
cryptominisat-5.6.8-6.fc33
davidlt
2020-03-27 09:09:39
cryptominisat-5.6.8-2.fc31
davidlt
2019-07-30 19:53:29
cryptominisat-5.6.8-1.fc31
davidlt
2019-07-27 16:30:08
cryptominisat-5.6.6-1.fc30
davidlt
2019-01-14 13:31:01
cryptominisat-5.6.5-1.fc30
davidlt
2018-12-05 14:12:29
cryptominisat-5.6.4-1.fc29
davidlt
2018-08-20 00:52:58
cryptominisat-5.6.3-3.fc29
davidlt
2018-07-25 00:19:51
cryptominisat-5.6.3-2.fc29
davidlt
2018-07-03 22:32:40
cryptominisat-5.6.3-1.fc29
davidlt
2018-06-15 21:17:39
cryptominisat-5.0.1-3.fc29
davidlt
2018-06-08 01:09:06
cryptominisat-2.9.11-5.fc28
kojiadmin
2018-04-14 19:50:16
Builds 1 through 21 of 21
Tags
1 through 10 of 10
Name
Owner
Included?
Extra Arches
f28
kojiadmin
f29
kojiadmin
f30
kojiadmin
f31
kojiadmin
f32
kojiadmin
f33
kojiadmin
f37
kojiadmin
f38
kojiadmin
f39
kojiadmin
f40
kojiadmin
Tags 1 through 10 of 10
Copyright © 2006-2016 Red Hat, Inc.