Commit Graph

41 Commits

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