HomeSoftware Heritage

Add [old, not tested recently, probably broken] debpkg scripts

Description

Add [old, not tested recently, probably broken] debpkg scripts

Details

Provenance
olasdAuthored on Nov 8 2019, 1:46 PM
olasdPushed on Nov 8 2019, 1:47 PM
Parents
rDENV5e20c707195b: Makefile.python: remove obsolete comment about mypy
Branches
Unknown
Tags
Unknown