summaryrefslogtreecommitdiff
path: root/dev-libs/picosat
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2021-10-05 09:57:30 +0200
committerKarel Kočí <cynerd@email.cz>2021-10-05 09:57:30 +0200
commit5ac112a9b9d7b14d921bd8509d60f1bbe13702fe (patch)
tree339152484ff78bf0be019d4044efba3e973a5d8b /dev-libs/picosat
parentba8f3bd0f1810341f10d846cc7781d565246c7d4 (diff)
downloadgentoo-personal-overlay-5ac112a9b9d7b14d921bd8509d60f1bbe13702fe.tar.gz
gentoo-personal-overlay-5ac112a9b9d7b14d921bd8509d60f1bbe13702fe.tar.bz2
gentoo-personal-overlay-5ac112a9b9d7b14d921bd8509d60f1bbe13702fe.zip
dev-python/pyftdi: add new package
Diffstat (limited to 'dev-libs/picosat')
0 files changed, 0 insertions, 0 deletions