diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-11-10 22:13:27 +0100 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-11-10 22:13:46 +0100 |
commit | 24e87b49b69eeceb35698c31fc78aa6c37c3a53f (patch) | |
tree | d1c50545dac97e58e616a98b1446ddd4f75d3eff /pkgs/development/coq-modules | |
parent | 8ba0b7bc3b7a0c359aced533295862e3b92ac9e8 (diff) | |
download | nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar.gz nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar.bz2 nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar.lz nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar.xz nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.tar.zst nixlib-24e87b49b69eeceb35698c31fc78aa6c37c3a53f.zip |
Change many homepage urls from http to https #30636
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions