diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-04-02 18:45:47 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-04-02 18:45:47 +0200 |
| commit | e336cd003a03611a0e04a6d77547c912f4252205 (patch) | |
| tree | a60a6a6a85af5cc029100cbbaefa1e493fcb4c67 /pkgs/development/python-modules/python-sql | |
| parent | 659c240be805f004e4cc3a436d32f91a1894a956 (diff) | |
picosat: enable proof output and install various utils
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions