nodoc-overlay.git
3 days ago gitdev-libs/boost-static: remove unneeded code and set...
3 days ago gitsci-mathematics/cudd: fix cudd.h not being installed
4 days ago gitdev-libs/boost-static: actually enable PIC, fix the...
4 days ago gitdev-libs/boost-static: enable PIC
4 days ago gitdev-libs/boost-static: fix *-variant-static.cmake files...
4 days ago gitupdate README
4 days ago gitdev-libs/boost-static: remove patches with old names
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