it's part of ubuntu again... https://launchpad.net/ubuntu/+source/crawl
** Changed in: crawl (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1631677
Title:
You can do so in the terminal with: `sudo apt remove crawl`
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1631677
Title:
Package missing from Ubuntu software repository
To manage notifications