Age | Commit message (Expand) | Author |
---|---|---|
2024-06-23 | upgpkg: isabelle 2024-1 | bitwave |
2023-09-18 | upgpkg: isabelle 2023-1 | bitwave |
2022-11-05 | upgpkg: isabelle 2022-1 | bitwave |
2021-12-15 | upgpkg: isabelle 2021_1-1 | bitwave |
2021-02-22 | upgpkg: isabelle 2021-1 | bitwave |
2020-04-18 | isabelle 2020 | Sebastian Stüber |
2019-06-15 | Isabelle 2019 | Sebastian Stüber |
2018-08-15 | updated SRCINFO to isabelle 2018 | Sebastian Stüber |
2017-10-10 | updates srcinfo | Sebastian Stüber |
2017-04-18 | maintainer changed, fixed broken sources | badcasa |
2016-02-21 | [fix] updated srcinfo | bitwave |
2015-07-25 | removed nonsense | bitwave |
2015-07-19 | fixed desktop file | bitwave |
2015-07-16 | moved some depends to opt & added .desktop file | bitwave |
2015-06-09 | Initial Import | bitwave |