David McFarland f072fe536e boogie: disable parallel builds		2024-09-17 01:12:10 -03:00
..
bobcat
bochs
boehmgc
boilr
boinctui
bombsquad	bombsquad: 1.7.36 -> 1.7.37	2024-08-09 11:57:28 +00:00
bonsai
boogie	boogie: disable parallel builds	2024-09-17 01:12:10 -03:00
borealis-cursors
boxbuddy	boxbuddy: 2.2.10 -> 2.2.11	2024-09-07 12:30:16 +00:00
boxed-cpp
bozohttpd	bozohttpd: rewrite expression	2024-09-12 22:16:22 -03:00