[MDEV-8961] 23Media GmbH mirror out of date Created: 2015-10-18  Updated: 2016-02-11  Resolved: 2016-02-11

Status: Closed
Project: MariaDB Server
Component/s: Packaging
Affects Version/s: N/A
Fix Version/s: N/A

Type: Bug Priority: Critical
Reporter: Jakob Englisch Assignee: Daniel Bartholomew
Resolution: Done Votes: 0
Labels: packaging
Environment:

Ubuntu Trusty (14.04 LTS)


 Description   

Steps to reproduce:
-) Using the repository configuration utility
-) Choose Ubuntu Trusty
-) Choosing the german "23Media GmbH" mirror

Expected: installing mariadb 10.1.8
Instead: installing 10.1.5

Using vpsfree.cz installs 10.1.8 as expected. Since those are mirrors, I'd expect that all serve the same version. Since the 23Media GmbH Mirror serves 10.1.5, it may be out of date since july (when 10.1.6 was released)

 Comments   
Comment by Elena Stepanova [ 2015-10-20 ]

Thanks a lot for the report.

Comment by Daniel Bartholomew [ 2016-02-11 ]

I've disabled the mirror in our downloads system. If the mirror admin responds to my query and re-activates the mirror I will reinstate it, otherwise, it is gone. Nothing more can be done on our side, so closing.

Generated at Thu Feb 08 07:31:05 UTC 2024 using Jira 8.20.16#820016-sha1:9d11dbea5f4be3d4cc21f03a88dd11d8c8687422.