diff options
author | José Romildo Malaquias <malaquias@gmail.com> | 2024-06-30 00:23:50 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-30 00:23:50 -0300 |
commit | a58313d5359dfa282a8faef2d278480f711dffe0 (patch) | |
tree | 03901a04340312154e517f93fa9397467b9e137c /pkgs/development/coq-modules/extructures/default.nix | |
parent | cd6602819bb0f13b32d6b923a7c46602ee6591f3 (diff) | |
parent | 5a5d906dba60456bebb1363fe588b18551270c6d (diff) |
Merge pull request #323509 from r-ryantm/auto-update/marwaita-manjaro
marwaita-manjaro: 17.0 -> 20.1
Diffstat (limited to 'pkgs/development/coq-modules/extructures/default.nix')
0 files changed, 0 insertions, 0 deletions