| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2024-04-12 | boogie: 3.1.3 -> 3.1.4 | R. Ryantm | 1 | -2/+2 | |
| 2024-04-04 | boxbuddy: 2.2.0 -> 2.2.2 | R. Ryantm | 1 | -3/+3 | |
| 2024-04-01 | boxbuddy: 2.1.5 -> 2.2.0 | aleksana | 1 | -3/+3 | |
| 2024-03-27 | boxbuddy: 2.1.4 -> 2.1.5 | R. Ryantm | 1 | -3/+3 | |
| 2024-03-15 | boogie: 3.1.2 -> 3.1.3 | R. Ryantm | 1 | -2/+2 | |
| 2024-03-14 | boxbuddy: 2.1.3 -> 2.1.4 | R. Ryantm | 1 | -3/+3 | |
| 2024-03-12 | Merge pull request #295224 from Aleksanaa/boxbuddy | Pol Dellaiera | 1 | -0/+61 | |
| boxbuddy: init at 2.1.3 | |||||
| 2024-03-12 | boxbuddy: init at 2.1.3 | aleksana | 1 | -0/+61 | |
| 2024-03-11 | boogie: 3.1.1 -> 3.1.2 | R. Ryantm | 1 | -2/+2 | |
| 2024-03-10 | bochs: 2.7 -> 2.8 | R. Ryantm | 1 | -2/+2 | |
| 2024-03-08 | Merge pull request #292127 from atorres1985-contrib/boehmgc | Weijia Wang | 1 | -0/+84 | |
| boehmgc: migrate to by-name | |||||
| 2024-03-07 | boogie: 3.0.10 -> 3.1.1 | R. Ryantm | 1 | -2/+2 | |
| 2024-02-28 | boehmgc: get rid of nested with | Anderson Torres | 1 | -5/+4 | |
| 2024-02-28 | boehmgc: migrate to by-name | Anderson Torres | 1 | -0/+85 | |
| 2024-02-24 | bonsai: 1.0.2 -> 1.1.0 | R. Ryantm | 1 | -2/+2 | |
| 2024-02-11 | boxed-cpp: 1.2.2 -> 1.3.0 | R. Ryantm | 1 | -2/+2 | |
| 2024-02-06 | Merge pull request #276541 from christoph-heiss/init/boinctui | Sandro | 1 | -0/+38 | |
| boinctui: init at 2.7.1 | |||||
| 2024-02-01 | boxed-cpp: 1.2.0 -> 1.2.2 | R. Ryantm | 1 | -2/+2 | |
| 2024-01-29 | Merge pull request #283169 from wegank/bobcat-refactor | Weijia Wang | 1 | -0/+72 | |
| bobcat: refactor, migrate to by-name | |||||
| 2024-01-24 | Merge pull request #283140 from r-ryantm/auto-update/boogie | Weijia Wang | 1 | -2/+2 | |
| boogie: 3.0.9 -> 3.0.10 | |||||
| 2024-01-23 | bonsai: refactor derivation | Gustavo Coutinho de Souza | 1 | -30/+18 | |
| 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 | bobcat: refactor, migrate to by-name | Weijia Wang | 1 | -0/+72 | |
| 2024-01-23 | boogie: 3.0.9 -> 3.0.10 | R. Ryantm | 1 | -2/+2 | |
| 2024-01-22 | bonsai: move to pkgs/by-name | Gustavo Coutinho de Souza | 1 | -0/+66 | |
| 2024-01-22 | boxed-cpp: 1.1.0 -> 1.2.0 | R. Ryantm | 1 | -2/+2 | |
| 2024-01-13 | Merge pull request #275529 from moni-dz/contour | Peder Bergebakken Sundt | 1 | -0/+24 | |
| contour: 0.3.12.262 -> 0.4.0.6245 | |||||
| 2023-12-28 | boinctui: init at 2.7.1 | Christoph Heiss | 1 | -0/+38 | |
| Signed-off-by: Christoph Heiss <christoph@c8h4.io> | |||||
| 2023-12-20 | boxed-cpp: init at 1.1.0 | fortuneteller2k | 1 | -0/+24 | |
| 2023-12-13 | boogie: 3.0.6 -> 3.0.9 | R. Ryantm | 1 | -2/+2 | |
| 2023-11-22 | boogie: 3.0.5 -> 3.0.6 | R. Ryantm | 1 | -2/+2 | |
| 2023-11-04 | Merge pull request #256799 from argrat/borealis-cursors | Weijia Wang | 1 | -0/+33 | |
| borealis-cursors: init at 2.0 | |||||
| 2023-11-04 | borealis-cursors: init at 2.0 | Nicolò Bertazzo | 1 | -0/+33 | |
| 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-10-11 | boogie: 3.0.4 -> 3.0.5 | R. Ryantm | 1 | -2/+2 | |
| 2023-09-16 | boogie: 2.15.7 -> 3.0.4 | mdarocha | 2 | -5/+74 | |
| Also add install check to verify all dependencies (ie. z3) work | |||||
| 2023-09-16 | boogie: move out of dotnet-packages.nix | mdarocha | 2 | -0/+246 | |
| dotnet-packages.nix is deprecated and being removed | |||||
| 2023-09-10 | bochs: move to by-name hierarchy | Anderson Torres | 1 | -0/+151 | |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |