JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2be8dd9908
nixpkgs/pkgs/applications/science/logic/isabelle
History
1000teslas a4b6785de9 isabelle: patch jni libs for nitpick
2022-01-11 21:09:27 +11:00
..
default.nix isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00