about summary refs log tree commit diff
path: root/nixpkgs/pkgs/applications/science/logic/nuXmv/default.nix
Commit message (Expand)AuthorAge
* Merge commit '99665eb45f58d959d2cb9e49ddb960c79d596f33'Alyssa Ross2023-02-08
* Merge commit '6e3ee8957637a60f5072e33d78e05c0f65c54366'Alyssa Ross2022-03-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-26 10:41:17 +0000