Weijia Wang
94b668263b
Merge pull request #306423 from r-ryantm/auto-update/boogie
...
boogie: 3.1.4 -> 3.1.5
2024-05-04 14:58:35 +02:00
R. Ryantm
7a8090275f
boxbuddy: 2.2.2 -> 2.2.3
2024-05-04 04:10:41 +00:00
R. Ryantm
6debd68953
boogie: 3.1.4 -> 3.1.5
2024-04-24 00:31:04 +00:00
Vladimír Čunát
62da21bd8f
Merge #288435 : boehmgc: 8.2.4 -> 8.2.6
...
...into staging
2024-04-22 11:30:49 +02:00
R. Ryantm
7af1be6d39
boogie: 3.1.3 -> 3.1.4
2024-04-12 00:32:37 +00:00
R. Ryantm
e237a0ef26
boxbuddy: 2.2.0 -> 2.2.2
2024-04-04 21:47:14 +00:00
aleksana
6bad74edaf
boxbuddy: 2.1.5 -> 2.2.0
2024-04-01 10:49:28 +08:00
R. Ryantm
28be04a060
boxbuddy: 2.1.4 -> 2.1.5
2024-03-27 19:55:18 +00:00
R. Ryantm
ec3c6e104e
boehmgc: 8.2.4 -> 8.2.6
2024-03-20 23:06:27 +01:00
R. Ryantm
57b7f6f1ba
boogie: 3.1.2 -> 3.1.3
2024-03-15 20:25:31 +00:00
R. Ryantm
2ccfd07079
boxbuddy: 2.1.3 -> 2.1.4
2024-03-14 00:31:51 +00:00
Pol Dellaiera
f783f57ee2
Merge pull request #295224 from Aleksanaa/boxbuddy
...
boxbuddy: init at 2.1.3
2024-03-12 21:34:55 +01:00
aleksana
57bf0bf753
boxbuddy: init at 2.1.3
2024-03-12 13:08:20 +08:00
R. Ryantm
ce018184a5
boogie: 3.1.1 -> 3.1.2
2024-03-11 22:31:14 +00:00
R. Ryantm
957c826abe
bochs: 2.7 -> 2.8
2024-03-10 12:24:08 +00:00
Weijia Wang
66b5ec6e7b
Merge pull request #292127 from atorres1985-contrib/boehmgc
...
boehmgc: migrate to by-name
2024-03-08 20:19:53 +01:00
R. Ryantm
cbb86599b9
boogie: 3.0.10 -> 3.1.1
2024-03-07 08:07:39 +00:00
Anderson Torres
b11d7881e3
boehmgc: get rid of nested with
2024-02-28 15:10:25 -03:00
Anderson Torres
82fe6937dc
boehmgc: migrate to by-name
2024-02-28 15:10:25 -03:00
R. Ryantm
8bc40ff57e
bonsai: 1.0.2 -> 1.1.0
2024-02-24 21:02:06 +00:00
R. Ryantm
19aef49f46
boxed-cpp: 1.2.2 -> 1.3.0
2024-02-11 09:27:25 +00:00
Sandro
39290cda61
Merge pull request #276541 from christoph-heiss/init/boinctui
...
boinctui: init at 2.7.1
2024-02-06 16:54:00 +01:00
R. Ryantm
63c3893633
boxed-cpp: 1.2.0 -> 1.2.2
2024-02-01 14:57:59 +01:00
Weijia Wang
3eb010af35
Merge pull request #283169 from wegank/bobcat-refactor
...
bobcat: refactor, migrate to by-name
2024-01-29 09:18:19 +01:00
Weijia Wang
16d828d0aa
Merge pull request #283140 from r-ryantm/auto-update/boogie
...
boogie: 3.0.9 -> 3.0.10
2024-01-24 00:11:23 +01:00
Gustavo Coutinho de Souza
aa385c97e5
bonsai: refactor derivation
...
1. Remove `rec` keyword in favor of passing a function to
`stdenv.mkDerivation`;
2. Reorder attributes;
3. Put build only dependencies --- Hare's third party libraries --- into
`nativeBuildInputs`;
4. Remove `preConfigure` hook in favor of setting the `HARECACHE` make
variable;
5. Use `stdenv.hostPlatform.uname.processor` for setting the
architecture needed for cross-compilation;
6. Substitute in place the `HAREFLAGS` make variable instead of the `-a`
flag directly, which is now set on the make variable (this should be
submitted upstream, since the make variable, as of now, does
absolutely nothing);
8. Pass the `-q` flag to `HAREFLAGS` to avoid polluting the logs when
hare is either being called with `test` or `build`;
9. Remove deprecated `agpl3` license in favor of `agpl3Plus`;
10. Add `bonsaictl` as `meta.mainProgram`; and
11. Enable parallel building.
2024-01-23 08:00:00 -03:00
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
