diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2020-08-11 06:43:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 06:43:33 -0500 |
| commit | ca9cd4e7b8b5faba27da476e4d79ffb258794212 (patch) | |
| tree | ddbca0ab198d4578dd5d32b637103d03552c7e2f /pkgs/development/coq-modules/coq-elpi/default.nix | |
| parent | f1ebea74e1717b75e74bd379d02bec322b446a8b (diff) | |
| parent | c2c82468479f8ddb465ead41769c204918a307ea (diff) | |
| download | nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar.gz nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar.bz2 nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar.lz nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar.xz nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.tar.zst nixpkgs-ca9cd4e7b8b5faba27da476e4d79ffb258794212.zip | |
Merge pull request #95124 from marsam/update-zeek
zeek: 3.1.5 -> 3.2.0
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi/default.nix')
0 files changed, 0 insertions, 0 deletions