Hi again,
I'd like to inform you that I did a team upload of picosat 965.
I commited everything to
https://salsa.debian.org/science-team/picosat
and added you as a developer to the Debian Science team so you
have commit permissions to the repository.
Kind regards
Andreas.
On Mon,
Hi Michael,
when I was doing the packaging the Python API for picosat I realised
that its lagging a bit behind upstream. I have not realised any
drawback currently but when I checked I considered a good idea to
maintain picosat in Debian Science team repository at salsa and
use the team as
2 matches
Mail list logo
