10 Commits

Author	SHA1	Message	Date
Peder Bergebakken Sundt	f27977ae29	Merge pull request #275529 from moni-dz/contour ... contour: 0.3.12.262 -> 0.4.0.6245	2024-01-13 23:46:45 +01:00
fortuneteller2k	368dd7d0b2	boxed-cpp: init at 1.1.0	2023-12-20 07:02:28 +08:00
R. Ryantm	0d6c4e0b31	boogie: 3.0.6 -> 3.0.9	2023-12-13 08:18:51 +00:00
R. Ryantm	bef55841a2	boogie: 3.0.5 -> 3.0.6	2023-11-22 08:51:32 -08:00
Weijia Wang	77ab23be35	Merge pull request #256799 from argrat/borealis-cursors ... borealis-cursors: init at 2.0	2023-11-04 20:05:54 +01:00
Nicolò Bertazzo	0c657bb168	borealis-cursors: init at 2.0 ... borealis-cursors: move to name-based package directories borealis-cursors: change sha256 to hash Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com> borealis-cursors: update description Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>	2023-11-04 18:24:31 +01:00
R. Ryantm	a4336d795c	boogie: 3.0.4 -> 3.0.5	2023-10-11 12:37:10 +00:00
mdarocha	7006d97373	boogie: 2.15.7 -> 3.0.4 ... Also add install check to verify all dependencies (ie. z3) work	2023-09-16 16:00:34 +02:00
mdarocha	b0d00352bb	boogie: move out of dotnet-packages.nix ... dotnet-packages.nix is deprecated and being removed	2023-09-16 16:00:29 +02:00
Anderson Torres	7d3ee72533	bochs: move to by-name hierarchy	2023-09-10 12:43:51 +00:00