3 Commits

Author	SHA1	Message	Date
Andrea Dell'Amico	2399031c92	Fix the mono repo key server, and a typo.	2019-03-21 20:21:29 +01:00
Andrea Dell'Amico	233b198412	Specify the server port for the gpg repo key.	2019-03-20 19:15:04 +01:00
Andrea Dell'Amico	2178279d06	Role that installs the latest mono distribution.	2019-03-20 19:11:14 +01:00