diff options
author | LuoChen <luochen1990@gmail.com> | 2024-06-17 21:19:24 +0800 |
---|---|---|
committer | LuoChen <luochen1990@gmail.com> | 2024-06-17 21:29:37 +0800 |
commit | 52e2f9fc91884002fe1d9a91203bf8a9f149ce6f (patch) | |
tree | f36e9e38e698e883e2f9917f332b3a87cc61daec /pkgs/development/libraries/librecast/default.nix | |
parent | e9ee548d90ff586a6471b4ae80ae9cfcbceb3420 (diff) |
lean4: 4.7.0 -> 4.8.0
Diffstat (limited to 'pkgs/development/libraries/librecast/default.nix')
0 files changed, 0 insertions, 0 deletions