| description | none |
| owner | july.lzu@gmail.com |
| URL | git://repo.or.cz/pdqsat.git |
| https://repo.or.cz/pdqsat.git | |
| push URL | ssh://repo.or.cz/pdqsat.git |
| https://repo.or.cz/pdqsat.git (learn more) | |
| bundle info | pdqsat.git downloadable bundles |
| content tags |
| description | none |
| owner | july.lzu@gmail.com |
| URL | git://repo.or.cz/pdqsat.git |
| https://repo.or.cz/pdqsat.git | |
| push URL | ssh://repo.or.cz/pdqsat.git |
| https://repo.or.cz/pdqsat.git (learn more) | |
| bundle info | pdqsat.git downloadable bundles |
| content tags |