summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coquelicot/default.nix
diff options
context:
space:
mode:
authorBernardo Meurer <bernardo@meurer.org>2022-05-11 20:53:24 -0700
committerGitHub <noreply@github.com>2022-05-11 20:53:24 -0700
commita34b9c1f1cac783ca27ac2ee8bb63beb7b915287 (patch)
tree71bfcea92185ce45b7d04d799bc07e3e65cea692 /pkgs/development/coq-modules/coquelicot/default.nix
parentb85e7e1e86fea5f86871edad116b0ff1e1fc51f6 (diff)
parent28d2e79a69d76e7933347c9e26b9f6b5a9163caf (diff)
downloadnixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar.gz
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar.bz2
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar.lz
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar.xz
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.tar.zst
nixpkgs-a34b9c1f1cac783ca27ac2ee8bb63beb7b915287.zip
Merge pull request #172303 from tjni/1password-cli-update
_1password: 2.1.0 -> 2.2.0
Diffstat (limited to 'pkgs/development/coq-modules/coquelicot/default.nix')
0 files changed, 0 insertions, 0 deletions