summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2022-11-05upgpkg: isabelle 2022-1bitwave
2022-01-30updated .gitignore filesbitwave
2021-12-15upgpkg: isabelle 2021_1-1bitwave
2021-02-22upgpkg: isabelle 2021-1bitwave
2020-04-18isabelle 2020Sebastian Stüber
2019-06-15Isabelle 2019Sebastian Stüber
2018-08-15updated SRCINFO to isabelle 2018Sebastian Stüber
2018-08-15update to isabelle 2018Sebastian Stüber
2017-10-10updates srcinfoSebastian Stüber
2017-10-10isabelle 2017 relaseSebastian Stüber
2017-04-18maintainer changed, fixed broken sourcesbadcasa
2016-02-21[fix] updated srcinfobitwave
2016-02-21updated to 2016bitwave
2015-07-25removed nonsensebitwave
2015-07-19fixed desktop filebitwave
2015-07-16moved some depends to opt & added .desktop filebitwave
2015-06-09Initial Importbitwave