Weijia Wang
|
e059e54dd7
|
bobcat: refactor, migrate to by-name
|
2024-01-23 10:47:36 +01:00 |
|
R. Ryantm
|
0d73a93c93
|
boogie: 3.0.9 -> 3.0.10
|
2024-01-23 08:02:39 +00:00 |
|
Gustavo Coutinho de Souza
|
2b5ceb285a
|
bonsai: move to pkgs/by-name
|
2024-01-22 21:45:30 -03:00 |
|
R. Ryantm
|
08358891f5
|
boxed-cpp: 1.1.0 -> 1.2.0
|
2024-01-22 18:07:18 +00:00 |
|
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 |
|
Christoph Heiss
|
068d0c8a43
|
boinctui: init at 2.7.1
Signed-off-by: Christoph Heiss <christoph@c8h4.io>
|
2023-12-28 17:29:39 +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 |
|