dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
a15139cf87
nixpkgs/pkgs/applications/science
History
Nick Cao a15139cf87
Merge pull request #320534 from luochen1990/lean-4.8 
lean4: 4.7.0 -> 4.8.0
2024-06-19 20:52:57 -04:00
..
astronomy treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
biology Merge pull request #316782 from aaronjheng/poretools 2024-06-18 13:41:58 +08:00
chemistry openmolcas: 24.02 -> 24.06 2024-06-18 16:13:41 +02:00
computer-architecture treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
electronics Merge pull request #317647 from r-ryantm/auto-update/kicad 2024-06-18 20:44:01 -03:00
engineering Merge pull request #297196 from TomaSajt/brmodelo 2024-04-22 23:34:10 +02:00
geometry treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
logic Merge pull request #320534 from luochen1990/lean-4.8 2024-06-19 20:52:57 -04:00
machine-learning treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
math eigenmath: 3.26-unstable-2024-06-03 -> 3.26-unstable-2024-06-09 2024-06-13 00:06:31 +00:00
medicine treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
misc python311Packages.snakemake: 8.13.0 -> 8.14.0 2024-06-15 15:30:33 +00:00
molecular-dynamics treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
networking/sumo treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
physics professor: 2.3.3 -> 2.4.2 (#318911) 2024-06-12 18:26:03 -04:00
programming treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
robotics treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00