Commits · trunk · koizel / knixpkgs

Jan 17, 2023
- Tell ASDF to use no cache, write `git-commit` · 766d7328
  Gabriel Hondet authored 2 years ago
  
  Unverified
  
  766d7328
- Patch PVS sources, create a fake run-sbcl.sh · 0ddb4e2a
  Gabriel Hondet authored 2 years ago
  
  Replace all git commands in `Makefile.in` by their expansion (git files are not unpacked by Nix)
  0ddb4e2a
Jan 16, 2023
- Initial commit · 60efaee3
  Gabriel Hondet authored 2 years ago
  
  Add recipes for sbcl 1.4.16, emacs 27.2 and beginning of PVS
  60efaee3