Piotr Kubaj 6ff1298e7d science/bddsolve: fix build with boost 1.83.0 ... /usr/local/include/boost/timer.hpp:21:3: error: This header is deprecated and will be removed. (You can define BOOST_TIMER_ENABLE_DEPRECATED to suppress this error.)		2023-10-01 11:39:18 +02:00
..
distinfo
Makefile	science/bddsolve: fix build with boost 1.83.0	2023-10-01 11:39:18 +02:00
pkg-descr
pkg-plist