goban package in Ubuntu
goban-original-
goban-ss: Goban screensaver
goban-ss-dbgsym: debug symbols for goban-ss
This package has 0 new bugs and 0 open questions.
Package information
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
a work-in-progress exploration of a simple modelling problem (the points on a goban) using Alloy 4. Supports a series of blog posts.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the GobanAlloy ⇒ trunk.
Noble (pre-release freeze) | ||
1.1-6 | release (universe) | |
The Mantic Minotaur (current stable release) | ||
1.1-6 | release (universe) | |
The Jammy Jellyfish (supported) | ||
1.1-6 | release (universe) | |
The Focal Fossa (supported) | ||
1.1-5build1 | release (universe) | |
The Bionic Beaver
(supported)
|
||
1.1-5 | release (universe) | |
The Xenial Xerus
(supported)
|
||
1.1-2 | release (universe) | |
The Trusty Tahr
(supported)
|
||
1.1-2 | release (universe) | |