diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-10 15:04:32 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-10 15:04:32 -0700 |
commit | fdc49ed8fac458dbfc15eca84660c217f2d2fdfb (patch) | |
tree | fcd262ec64c76d8451c39ffaf37b4b710bca9191 /pkgs/tools | |
parent | 46dc5394cd995f0b5ba6c842424d1de594fead31 (diff) | |
download | nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar.gz nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar.bz2 nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar.lz nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar.xz nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.tar.zst nixlib-fdc49ed8fac458dbfc15eca84660c217f2d2fdfb.zip |
coqPackages.paco: Add attribute to 8_5 and 8_6 as well
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions