nodoc-overlay.git
4 days ago gitdev-libs/boost-static: fix file conflicts with regular...
4 days ago gitadd dev-libs/boost with static-libs support via an...
4 days ago gitsci-electronics/magic: remove unused variable, switch...
4 days ago gitadd VLSI magic
4 days ago gitinitial public commit