Tue, 03 Dec 2024 21:08:07 UTC | login

Information for package metamath

Namemetamath
ID4508
Builds
1 through 24 of 24
NVR Built by Finished descending sort State
metamath-0.198-8.fc41 davidlt 2024-08-05 18:18:19 complete
metamath-0.198-7.fc40 davidlt 2024-03-21 12:42:46 complete
metamath-0.198-5.fc40 davidlt 2023-12-05 02:02:46 complete
metamath-0.198-4.fc38 davidlt 2023-03-14 18:21:06 complete
metamath-0.198-3.fc37 davidlt 2022-11-07 14:12:34 complete
metamath-0.196-1.fc33 davidlt 2021-01-16 18:04:38 complete
metamath-0.194-1.fc33 davidlt 2021-01-06 11:15:49 complete
metamath-0.193-1.fc33 davidlt 2020-11-27 18:28:01 complete
metamath-0.188-1.fc33 davidlt 2020-09-05 15:28:55 failed
metamath-0.187-1.fc33 davidlt 2020-08-23 21:28:38 failed
metamath-0.186-1.fc33 davidlt 2020-08-15 02:08:48 complete
metamath-0.182-1.fc33 davidlt 2020-04-16 16:09:13 complete
metamath-0.181-1.fc33 davidlt 2020-03-28 04:42:42 complete
metamath-0.178-1.fc31 davidlt 2019-08-15 12:12:28 complete
metamath-0.177-2.fc31 davidlt 2019-08-11 08:40:05 complete
metamath-0.177-1.fc31 davidlt 2019-07-25 13:55:54 complete
metamath-0.171-1.fc30 davidlt 2019-01-12 09:20:40 complete
metamath-0.167-1.fc30 davidlt 2018-12-03 19:34:53 complete
metamath-0.166-1.fc29 davidlt 2018-11-25 22:15:14 complete
metamath-0.164-1.fc29 davidlt 2018-10-04 21:29:59 complete
metamath-0.163-1.fc29 davidlt 2018-08-13 10:19:48 complete
metamath-0.162-2.fc29 davidlt 2018-08-08 00:53:05 complete
metamath-0.162-1.fc29 davidlt 2018-06-14 14:29:56 complete
metamath-0.160-1.fc28 kojiadmin 2018-04-14 20:09:19 complete
Builds 1 through 24 of 24
Tags
1 through 12 of 12
Name ascending sort Owner Included? Extra Arches
f28 kojiadmin yes
f29 kojiadmin yes
f30 kojiadmin yes
f31 kojiadmin yes
f32 kojiadmin yes
f33 kojiadmin yes
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
Tags 1 through 12 of 12