[Mono-list] Access to (recent) older versions of mono in the download.mono-project.com debian repository

[Timotheus Pokorra]

Hello River,

> I really don't want our library versions changing arbitrarily with each
> push. Is there some way to pin the package version, apart from distributing
> the binary ourselves?

which OS are you using?
For CentOS, I just learnt yesterday about version locking with yum:
https://scottlinux.com/2013/03/18/red-hat-6-or-centos-6-yum-tips-lock-package-versions-and-only-apply-security-updates/

yum install yum-plugin-versionlock
yum versionlock add <yourpackage>

hope this helps,
  Timotheus