File information
- Filename: ppx-tools_5.3+4.08.0.orig.tar.gz
- Path: /repositories/home:/bmanojlovic:/vyos:/build-deps/Debian_10/ppx-tools_5.3+4.08.0.orig.tar.gz
- Size: 18KiB (18590 bytes)
- Last modified: 06-Jun-2023 11:03:00 (Unix timestamp: 1686049380)
- SHA-512 Hash: 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5
- SHA-256 Hash: 843ae4f2817269e31b62101add093f0497566a5bf74205ad24dfc0a033803645
- SHA-1 Hash: f197aab2f1057fe6107dcd25fba91408fd81470c
- MD5 Hash: 702b11138c095662c175aa4dcce5c921
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/home:/bmanojlovic:/vyos:/build-deps/Debian_10/ppx-tools_5.3+4.08.0.orig.tar.gz
Mirrors
List of best mirrors for IP address 18.191.240.249, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 2
- ftp.gwdg.de (DE)
- ftp.lysator.liu.se (SE)