20e5ed6754
- Switch to MASTER_SITES - Pet portlint and portclippy ChangeLog: https://github.com/ygrek/ocaml-extlib/blob/master/CHANGES |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr |
20e5ed6754
- Switch to MASTER_SITES - Pet portlint and portclippy ChangeLog: https://github.com/ygrek/ocaml-extlib/blob/master/CHANGES |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr |