mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-02-10 13:57:38 -08:00
1bfb585cc6
repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
15 lines
600 B
XML
15 lines
600 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<herd>java</herd>
|
|
<longdescription lang="en">
|
|
The DSI utilities are a mish mash of classes accumulated during the last
|
|
ten years in projects developed at the DSI (Dipartimento di Scienze
|
|
dell'Informazione, e.g., Information Sciences Department) of the
|
|
Università degli Studi di Milano. They were originally distributed in
|
|
several projects (mainly in MG4J) but we finally decided to gather all
|
|
the material in a single place.
|
|
</longdescription>
|
|
</pkgmetadata>
|
|
|