Re: [Mono-dev] [Mono-list] Repository problem (Mono-devel-list Digest, Vol 154, Issue 25)

2018-02-26 Thread Jo Shields
The instructions on http://www.mono-project.com/docs/getting-started/install/linux/#accessing-older-releases say "If for some reason you want to pin an older version of Mono rather than updating to the latest, you can modify the Debian repository to “wheezy/snapshots/X.XX.X” instead of “wheezy”

Re: [Mono-dev] [Mono-list] Repository problem (Mono-devel-list Digest, Vol 154, Issue 25)

2018-02-27 Thread Guy
Many thanks for taking the time to answer! And sorry for not having read that part of the manual. Your suggestion in deed this solves the "untrusted source" problem. However, during apt-get update I now get this warning instead: W: Conflicting distribution: http://download.mono-project.com/re

Re: [Mono-dev] [Mono-list] Repository problem (Mono-devel-list Digest, Vol 154, Issue 25)

2018-02-27 Thread Jo Shields
The warning is unfixable with the repository management software we use on the server. Sent from my iPhone > On 27 Feb 2018, at 07:46, Guy wrote: > > Many thanks for taking the time to answer! And sorry for not having read that > part of the manual. Your suggestion in deed this solves the "un

Re: [Mono-dev] [Mono-list] Repository problem (Mono-devel-list Digest, Vol 154, Issue 25)

2018-02-27 Thread Guy
Ok. All my questions have been answered. Many thanks! Guy On 2018-02-27 14:17, Jo Shields wrote: The warning is unfixable with the repository management software we use on the server. Sent from my iPhone On 27 Feb 2018, at 07:46, Guy > wrote: Many thanks for taki