| description | programming with crypto |
| homepage URL | http://prosecco.inria.fr |
| owner | karthik.bhargavan@gmail.com |
| URL | git://repo.or.cz/Prosecco.git |
| https://repo.or.cz/Prosecco.git | |
| push URL | ssh://repo.or.cz/Prosecco.git |
| https://repo.or.cz/Prosecco.git (learn more) | |
| bundle info | Prosecco.git downloadable bundles |
| content tags |