Package: lean4

General Information

Default Build Source

Source Type:
No default source
Build ID Package Version Submitted Build Time Status
7449612 4.7.0-3 1 year, 1 month ago 55 minutes succeeded
7454612 4.7.0-4 1 year, 1 month ago an hour succeeded
7543712 4.8.0-1 1 year, 27 days ago an hour succeeded
7704052 4.9.0-1 a year ago an hour succeeded
7819198 4.10.0-1 10 months ago an hour succeeded
8209482 4.13.0-1 7 months ago an hour succeeded
8305794 4.13.0-4 7 months ago an hour succeeded
8332728 4.14.0-1 6 months ago an hour succeeded
8492176 4.15.0-1 5 months ago an hour succeeded
8606198 4.16.0-1 4 months ago an hour failed
8734417 4.17.0-1 3 months ago an hour succeeded
9156407 4.20.0-3 21 days ago 2 hours succeeded
9160520 4.20.0-4 19 days ago 2 hours succeeded

Status Badge

HTML Code:
Markdown Code: