"Hochschulschriftenserver" fände ich eine passende Bezeichnung.
Wir werden es hoffentlich alle noch erleben, dass auch Landes- und Forschungsbibliotheken, die keine Hochschulbibliotheken sind, solche Schriftenserver betreiben. Dokumentenserver ziehe ich dem in der Tat etwas hochtrabenden "Repositorium" vor. Klaus Graf