diff options
| author | Léo Stefanesco <leo.lveb@gmail.com> | 2024-05-05 15:03:20 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-05-06 14:15:24 +0200 |
| commit | 1e9759cb3731963f7007cce49dfa6ff1f412ea0c (patch) | |
| tree | 3344f94e6ab0da5d35367e9a47546b7b97dc1a65 /nixos | |
| parent | 6037a0d69cc606932dadf53c7444cf4b82c59adb (diff) | |
coqPackages.coq-record-update: 0.3.3 -> 0.3.4
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions