diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2022-01-25 04:53:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-25 10:53:20 +0100 |
| commit | f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca (patch) | |
| tree | 2cc55588072120c1b450a003c5e1b606a2ba5539 /pkgs/applications/science/logic | |
| parent | 5cbff8a564ddd6d40a2e39b43895e06afbb270f7 (diff) | |
| download | nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar.gz nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar.bz2 nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar.lz nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar.xz nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.tar.zst nixpkgs-f8ea1ec9cec0128e16353c4c2fec606c92cbf2ca.zip | |
dune_2: 2.9.1 -> 2.9.2 (#156329)
https://github.com/ocaml/dune/releases/tag/2.9.2
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions