notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

non port: math/boolector/files/patch-CMakeLists.txt

Number of commits found: 4

Thursday, 6 Jun 2024
08:48 Yuri Victorovich (yuri) search for other commits by this committer
math/boolector: Fix tests (except one hanging test)
commit hash: 917337a0090162ff81663ef364b3c2cf68f65561 commit hash: 917337a0090162ff81663ef364b3c2cf68f65561 commit hash: 917337a0090162ff81663ef364b3c2cf68f65561 commit hash: 917337a0090162ff81663ef364b3c2cf68f65561 917337a
Sunday, 5 Nov 2023
17:51 Yuri Victorovich (yuri) search for other commits by this committer
math/boolector: update 3.2.2 → 3.2.3

Reported by:	portscout
commit hash: 2d361fb615890c1dc45998b1f9cbc5e24da6f5ab commit hash: 2d361fb615890c1dc45998b1f9cbc5e24da6f5ab commit hash: 2d361fb615890c1dc45998b1f9cbc5e24da6f5ab commit hash: 2d361fb615890c1dc45998b1f9cbc5e24da6f5ab 2d361fb
Wednesday, 4 Dec 2019
07:18 yuri search for other commits by this committer
math/boolector: Update 3.0.0-239 -> 3.1.0

Reported by:	portscout
Original commitRevision:518999 
Friday, 14 Jun 2019
07:37 yuri search for other commits by this committer
New port: math/boolector: Satisfiability Modulo Theories (SMT) solver
Original commitRevision:504169 

Number of commits found: 4