diff options
author | figsoda <figsoda@pm.me> | 2023-01-31 15:23:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-31 15:23:42 -0500 |
commit | 76f4cd83583c8a3238cfd7f4e372340c74870fb2 (patch) | |
tree | 731736a3d2097e9919379ec178283699bf6d3c8b /pkgs/development/coq-modules/coquelicot/default.nix | |
parent | 6e1b43747afb6fbdc3cf6d03c0cd67a195e92fe9 (diff) | |
parent | e5a691df5493cd552179346853755e0be038dbfb (diff) | |
download | nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar.gz nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar.bz2 nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar.lz nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar.xz nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.tar.zst nixpkgs-76f4cd83583c8a3238cfd7f4e372340c74870fb2.zip |
Merge pull request #213824 from r-ryantm/auto-update/dinghy
dinghy: 1.1.0 -> 1.2.0
Diffstat (limited to 'pkgs/development/coq-modules/coquelicot/default.nix')
0 files changed, 0 insertions, 0 deletions