about summary refs log tree commit diff
path: root/pkgs/by-name/bo
AgeCommit message (Expand)AuthorFilesLines
2024-04-22Merge #288435: boehmgc: 8.2.4 -> 8.2.6Vladimír Čunát1-4/+4
2024-04-12boogie: 3.1.3 -> 3.1.4R. Ryantm1-2/+2
2024-04-04boxbuddy: 2.2.0 -> 2.2.2R. Ryantm1-3/+3
2024-04-01boxbuddy: 2.1.5 -> 2.2.0aleksana1-3/+3
2024-03-27boxbuddy: 2.1.4 -> 2.1.5R. Ryantm1-3/+3
2024-03-20boehmgc: 8.2.4 -> 8.2.6R. Ryantm1-4/+4
2024-03-15boogie: 3.1.2 -> 3.1.3R. Ryantm1-2/+2
2024-03-14boxbuddy: 2.1.3 -> 2.1.4R. Ryantm1-3/+3
2024-03-12Merge pull request #295224 from Aleksanaa/boxbuddyPol Dellaiera1-0/+61
2024-03-12boxbuddy: init at 2.1.3aleksana1-0/+61
2024-03-11boogie: 3.1.1 -> 3.1.2R. Ryantm1-2/+2
2024-03-10bochs: 2.7 -> 2.8R. Ryantm1-2/+2
2024-03-08Merge pull request #292127 from atorres1985-contrib/boehmgcWeijia Wang1-0/+84
2024-03-07boogie: 3.0.10 -> 3.1.1R. Ryantm1-2/+2
2024-02-28boehmgc: get rid of nested withAnderson Torres1-5/+4
2024-02-28boehmgc: migrate to by-nameAnderson Torres1-0/+85
2024-02-24bonsai: 1.0.2 -> 1.1.0R. Ryantm1-2/+2
2024-02-11boxed-cpp: 1.2.2 -> 1.3.0R. Ryantm1-2/+2
2024-02-06Merge pull request #276541 from christoph-heiss/init/boinctuiSandro1-0/+38
2024-02-01boxed-cpp: 1.2.0 -> 1.2.2R. Ryantm1-2/+2
2024-01-29Merge pull request #283169 from wegank/bobcat-refactorWeijia Wang1-0/+72
2024-01-24Merge pull request #283140 from r-ryantm/auto-update/boogieWeijia Wang1-2/+2
2024-01-23bonsai: refactor derivationGustavo Coutinho de Souza1-30/+18
2024-01-23bobcat: refactor, migrate to by-nameWeijia Wang1-0/+72
2024-01-23boogie: 3.0.9 -> 3.0.10R. Ryantm1-2/+2
2024-01-22bonsai: move to pkgs/by-nameGustavo Coutinho de Souza1-0/+66
2024-01-22boxed-cpp: 1.1.0 -> 1.2.0R. Ryantm1-2/+2
2024-01-13Merge pull request #275529 from moni-dz/contourPeder Bergebakken Sundt1-0/+24
2023-12-28boinctui: init at 2.7.1Christoph Heiss1-0/+38
2023-12-20boxed-cpp: init at 1.1.0fortuneteller2k1-0/+24
2023-12-13boogie: 3.0.6 -> 3.0.9R. Ryantm1-2/+2
2023-11-22boogie: 3.0.5 -> 3.0.6R. Ryantm1-2/+2
2023-11-04Merge pull request #256799 from argrat/borealis-cursorsWeijia Wang1-0/+33
2023-11-04borealis-cursors: init at 2.0Nicolò Bertazzo1-0/+33
2023-10-11boogie: 3.0.4 -> 3.0.5R. Ryantm1-2/+2
2023-09-16boogie: 2.15.7 -> 3.0.4mdarocha2-5/+74
2023-09-16boogie: move out of dotnet-packages.nixmdarocha2-0/+246
2023-09-10bochs: move to by-name hierarchyAnderson Torres1-0/+151
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 06:45:13 +0000