1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 03:30:45 +00:00
nixpkgs/maintainers
Gabriel Ebner b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol
isabelle: Prebuild HOL session
2022-01-26 16:37:18 +01:00
..
scripts pluginupdate.py: fix regression with plugin line splitting 2022-01-21 14:18:21 +01:00
maintainer-list.nix Merge pull request #154272 from jvanbruegge/isabelle-build-hol 2022-01-26 16:37:18 +01:00
team-list.nix maintainers/teams: add kubernetes 2022-01-24 08:58:47 +10:00