R. Ryantm ce018184a5 boogie: 3.1.1 -> 3.1.2		2024-03-11 22:31:14 +00:00
..
bobcat	bobcat: refactor, migrate to by-name	2024-01-23 10:47:36 +01:00
bochs	bochs: 2.7 -> 2.8	2024-03-10 12:24:08 +00:00
boehmgc	boehmgc: get rid of nested with	2024-02-28 15:10:25 -03:00
boinctui	boinctui: init at 2.7.1	2023-12-28 17:29:39 +01:00
bonsai	bonsai: 1.0.2 -> 1.1.0	2024-02-24 21:02:06 +00:00
boogie	boogie: 3.1.1 -> 3.1.2	2024-03-11 22:31:14 +00:00
borealis-cursors	borealis-cursors: init at 2.0	2023-11-04 18:24:31 +01:00
boxed-cpp	boxed-cpp: 1.2.2 -> 1.3.0	2024-02-11 09:27:25 +00:00