frama-c | Package Info | ISCAS openkoji system

Name

frama-c

3148

Builds

NVR	Built by	Finished
1 through 24 of 24
frama-c-32.1-2.fc44	liuyang	2026-05-06 04:09:22
frama-c-32.0-3.fc44	liuyang	2026-04-27 01:59:13
frama-c-32.0-6.fc44	liuyang	2026-03-24 11:43:49
frama-c-32.0-1.fc43	kojiadmin	2025-12-31 10:24:10
frama-c-31.0-6.fc43	kojiadmin	2025-11-20 21:58:32
frama-c-31.0-1.fc43	kojiadmin	2025-11-19 01:11:35
frama-c-30.0-7.fc42	kojiadmin	2025-11-05 18:18:53
frama-c-30.0-9.fc42	kojiadmin	2025-05-02 06:44:45
frama-c-30.0-8.fc42	kojiadmin	2025-04-15 15:23:31
frama-c-30.0-5.fc42	zhangsongsong	2025-03-31 15:40:13
frama-c-30.0-6.fc42	kojiadmin	2025-03-15 11:42:32
frama-c-30.0-1.fc41	zhangsongsong	2025-01-09 16:32:52
frama-c-29.0-8.fc41	zhangsongsong	2024-10-23 01:11:40
frama-c-29.0-7.fc41	kojiadmin	2024-08-13 10:30:07
frama-c-29.0-1.fc40	kojiadmin	2024-08-09 04:58:53
frama-c-29.0-6.fc41	kojiadmin	2024-08-06 02:41:48
frama-c-29.0-5.fc41	kojiadmin	2024-07-18 06:47:59
frama-c-29.0-4.fc41	kojiadmin	2024-07-16 23:23:54
frama-c-29.0-3.fc41	kojiadmin	2024-07-04 06:01:42
frama-c-29.0-2.fc41	kojiadmin	2024-06-19 23:32:53
frama-c-29.0-1.fc41	kojiadmin	2024-06-17 12:33:47
frama-c-28.1-3.fc40	kojiadmin	2024-06-08 07:14:07
frama-c-28.1-4.fc41	kojiadmin	2024-06-07 02:13:21
frama-c-28.1-3.fc41	kojiadmin	2024-05-30 16:50:37

Builds 1 through 24 of 24

Tags 1 through 8 of 8