diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-09-26 20:26:39 +0000 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-09-26 22:26:39 +0200 |
commit | 23900febe79a3a6aaab1276cde8689e0fa3f3d5c (patch) | |
tree | 1693595a02870cbb59e186ac6228cf6e43b0bbec /pkgs/applications/video | |
parent | e59a2ef7ebdc014691cbcdcf5fbaa424a148d6f5 (diff) | |
download | nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar.gz nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar.bz2 nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar.lz nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar.xz nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.tar.zst nixpkgs-23900febe79a3a6aaab1276cde8689e0fa3f3d5c.zip |
coq: 8.8.1 -> 8.8.2 (#47388)
Diffstat (limited to 'pkgs/applications/video')
0 files changed, 0 insertions, 0 deletions