aboutsummaryrefslogtreecommitdiff
path: root/debian/control
Commit message (Expand)AuthorAgeFilesLines
* Make script more robustJakob Odersky2018-01-121-1/+1
* Fix dependencies and typoJakob Odersky2017-12-291-1/+1
* Update debian filesJakob Odersky2017-12-281-1/+1
* Add dependenciesJakob Odersky2017-12-261-1/+1
* Clean up debian configuration filesJakob Odersky2017-12-261-7/+6
* Initial debianizationJakob Odersky2017-12-261-0/+15