Commit Graph

7 Commits

Author SHA1 Message Date
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