diff options
author | Francesco Gazzetta <fgaz@fgaz.me> | 2023-04-20 14:25:10 +0200 |
---|---|---|
committer | Francesco Gazzetta <fgaz@fgaz.me> | 2023-04-20 14:25:10 +0200 |
commit | 00ebde2597ae895678c478ecfe7b5f29e0b4dfb5 (patch) | |
tree | 3ad6a20f76fdd5c457d4cdd315e99b76dd192480 /pkgs/development/coq-modules/metalib/default.nix | |
parent | 490601e157c0ba2ffb219a75f4977644a8581b4e (diff) |
lobster: 2021.3 -> 2023.4
Diffstat (limited to 'pkgs/development/coq-modules/metalib/default.nix')
0 files changed, 0 insertions, 0 deletions