gecode in buster-rcmd |
Source: | gecode | piuparts summary: |  | Version: | 6.1.0-2 |
Maintainer: | Kari Pahula <kaol@debian.org> |
Binary: | flatzinc | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |
Binary: | libgecode-dev | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |
Binary: | libgecode-doc:all | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |
Binary: | libgecode48 | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |
Binary: | libgecodeflatzinc48 | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |
Binary: | libgecodegist48 | piuparts-result: | successfully-tested 6.1.0-2 | Version: | 6.1.0-2 |