tpiccioli
/
ansible-roles
forked from ISTI-ansible-roles/ansible-roles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Specify the server port for the gpg repo key.

This commit is contained in:
Andrea Dell'Amico 2019-03-20 19:15:04 +01:00
parent 2178279d06
commit 233b198412
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mono/defaults/main.yml
View File

@ -1,5 +1,5 @@
---
mono_repo_server: 'hkp://keyserver.ubuntu.com'
mono_repo_server: 'hkp://keyserver.ubuntu.com:80'
mono_deb_repo_key_id: 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
mono_deb_repo_url: 'deb https://download.mono-project.com/repo/{{ ansible_distribution | lower }} stable-{{ ansible_distribution_release }} main'