1. ^
2. repositories
3. home:
4. bmanojlovic:
5. vyos:
6. build-deps
7. Debian_10
8. ppx-tools_5.3+4.08.0-1.debian.tar.xz

File information

• Filename: ppx-tools_5.3+4.08.0-1.debian.tar.xz
• Path: /repositories/home:/bmanojlovic:/vyos:/build-deps/Debian_10/ppx-tools_5.3+4.08.0-1.debian.tar.xz
• Size: 2488 Byte (2488 bytes)
• Last modified: 06-Jun-2023 11:03:49 (Unix timestamp: 1686049429)
• SHA-512 Hash: a2006b9a4f574a35cef67c65dcabd4e7cbf1b34058acb27a7a656ff55ced48f93e357286913201ce8cc60f90fdb5873c0ec19411b803103b93e64edf7fd3b90a
• SHA-256 Hash: 71e38e44b34d9971d9329a5aaf6a190cef1acf4231efa2e7be76f9530e5ffff8
• SHA-1 Hash: 9145b22f48543dd9f078732fd38ffe11c4c25efd
• MD5 Hash: 638629e3ec5387ae299a1ea3d929ea8e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/home:/bmanojlovic:/vyos:/build-deps/Debian_10/ppx-tools_5.3+4.08.0-1.debian.tar.xz