summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authoralbakham <dev@geber.ga>2020-05-08 22:41:11 +0400
committerBenjamin Hipple <bhipple@protonmail.com>2020-05-08 22:12:49 -0400
commit0c0f353d62188ba676a2396ed3be4fcfdd88d632 (patch)
tree7852e5ec4b4c0b53c66229f8fdbb6c0696bb32e6 /pkgs/development/coq-modules
parentdfc492da9254d738a46298c2bbdc19ae65a4e10b (diff)
downloadnixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar.gz
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar.bz2
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar.lz
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar.xz
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.tar.zst
nixpkgs-0c0f353d62188ba676a2396ed3be4fcfdd88d632.zip
rofi-calc: 1.6 -> 1.7
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions