diff options
| author | Antonio Nuno Monteiro <anmonteiro@gmail.com> | 2020-03-08 11:00:52 -0700 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-03-11 17:14:52 +0100 |
| commit | c9fc7a2a9cba048f84311efe11fd8cc849bc859b (patch) | |
| tree | 0811046151b23e1d71da2859380936bbf246e24f /pkgs/development/coq-modules | |
| parent | 5ac085c3cc690333885b1a142806c3de25f9ece2 (diff) | |
| download | nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar.gz nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar.bz2 nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar.lz nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar.xz nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.tar.zst nixpkgs-c9fc7a2a9cba048f84311efe11fd8cc849bc859b.zip | |
dune: 2.3.1 -> 2.4.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions