Origin: ftp.texmacs.org
Label: apt repository
Codename: mantic
Date: Mon, 03 Aug 2026 14:38:02 UTC
Architectures: amd64 i386 armhf
Components: main universe
Description: Ubuntu package repo for TeXmacs
MD5Sum:
 912ff8b874f0e06bf6dfbdcb5280fc9f 1962 main/binary-amd64/Packages
 6a2388ef60ff46d8ac02b741c7d5dda6 1129 main/binary-amd64/Packages.gz
 7fafb27e13531627f059d8bf29f811a7 127 main/binary-amd64/Release
 d41d8cd98f00b204e9800998ecf8427e 0 main/binary-i386/Packages
 7029066c27ac6f5ef18d660d5741979a 20 main/binary-i386/Packages.gz
 add7d682b0f6a2c41a81a2b6e694f466 126 main/binary-i386/Release
 d41d8cd98f00b204e9800998ecf8427e 0 main/binary-armhf/Packages
 7029066c27ac6f5ef18d660d5741979a 20 main/binary-armhf/Packages.gz
 958a2569fadccd24f9be349cbe1139a6 127 main/binary-armhf/Release
 d41d8cd98f00b204e9800998ecf8427e 0 main/source/Sources
 7029066c27ac6f5ef18d660d5741979a 20 main/source/Sources.gz
 0601eb751be90b85c8abc4094f13574f 128 main/source/Release
 fbbb51229d25359587886a1844775911 1966 universe/binary-amd64/Packages
 876017bd8f9265ecce98ebc1ef6d9e00 1131 universe/binary-amd64/Packages.gz
 16de414e1ff50a6198b1b7310e8b98bb 131 universe/binary-amd64/Release
 d41d8cd98f00b204e9800998ecf8427e 0 universe/binary-i386/Packages
 7029066c27ac6f5ef18d660d5741979a 20 universe/binary-i386/Packages.gz
 9f014e6823993eb55c7ad45ecd41377c 130 universe/binary-i386/Release
 d41d8cd98f00b204e9800998ecf8427e 0 universe/binary-armhf/Packages
 7029066c27ac6f5ef18d660d5741979a 20 universe/binary-armhf/Packages.gz
 997e765a10d469d26b3d0a666def86e3 131 universe/binary-armhf/Release
 d41d8cd98f00b204e9800998ecf8427e 0 universe/source/Sources
 7029066c27ac6f5ef18d660d5741979a 20 universe/source/Sources.gz
 8e61757dcba31d0a7b45e02f17769348 132 universe/source/Release
SHA1:
 3acab7218cfbdfcfefcbb006b5be3bf2cf491501 1962 main/binary-amd64/Packages
 63d686d51381395401f9ba72018d3ba3b927197b 1129 main/binary-amd64/Packages.gz
 6d12ef81509d4e8504f63437e00860d892fd1ed4 127 main/binary-amd64/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/binary-i386/Packages
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 main/binary-i386/Packages.gz
 def2c8395d0051a968dafcef8fad6b4b8f159d2e 126 main/binary-i386/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/binary-armhf/Packages
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 main/binary-armhf/Packages.gz
 5894b78e6319d7c0f43cf7bca92c5c6c2fa8b08d 127 main/binary-armhf/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/source/Sources
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 main/source/Sources.gz
 9400833a1df91c46b1b3eb608b1b6b893ecd16a1 128 main/source/Release
 a118284048e6cb11eb9d6349f6cf107c8574e008 1966 universe/binary-amd64/Packages
 cf89952f563c1e63e1232a4f1926b891108ac979 1131 universe/binary-amd64/Packages.gz
 e636b4bf244692e7ebcad4400b6750b14b983c50 131 universe/binary-amd64/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 universe/binary-i386/Packages
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 universe/binary-i386/Packages.gz
 73ac221c46213b315ed1961b73e1c551318a7b7d 130 universe/binary-i386/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 universe/binary-armhf/Packages
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 universe/binary-armhf/Packages.gz
 52196ccd20e72c849c84a141604637e9ab79f31a 131 universe/binary-armhf/Release
 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 universe/source/Sources
 46c6643f07aa7f6bfe7118de926b86defc5087c4 20 universe/source/Sources.gz
 80e55611bf16ef4e09feda54b986f43da02fe553 132 universe/source/Release
SHA256:
 4a5cf59246eb271971133007213ab67081dffe5df2456896bbc6c0afc905a4c7 1962 main/binary-amd64/Packages
 ebb5f81a9438452bbb49b0dcd023e928a6e8fe0f4d980e02a0ba104facd64ede 1129 main/binary-amd64/Packages.gz
 617c4ca05f7771b797a6b99abb7091cd49e04f547bb3291f538d28e4315b3de9 127 main/binary-amd64/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/binary-i386/Packages
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 main/binary-i386/Packages.gz
 ec08166be860a34147f349b342a5b22c280a110c44365e1ce550823a3887b7eb 126 main/binary-i386/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/binary-armhf/Packages
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 main/binary-armhf/Packages.gz
 a6f9240f581d9eae93f2dccf80a91c3766f867d17cb279aeed77f78f8f968c9e 127 main/binary-armhf/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/source/Sources
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 main/source/Sources.gz
 7ceaa875c1be134f6dbf9891b88cfc57e15de6c8d3d2001c354f21d9d04a7312 128 main/source/Release
 641ac7f3c7bcdb6270e59e905a09a101a88e75f028b352543b80d21c4ed71d7a 1966 universe/binary-amd64/Packages
 ba555ff5daebbba87dc885b66ee1e53f0a427341bc2454ccd06023382bb3f7dd 1131 universe/binary-amd64/Packages.gz
 95d16a952497c9787ad28d89c18cb4c8fdbe77232e7055c4a772992a650163da 131 universe/binary-amd64/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 universe/binary-i386/Packages
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 universe/binary-i386/Packages.gz
 2529997b1691d0d539dcfb2f45d0f30c2bdc64e54eba747244a02195c09864f4 130 universe/binary-i386/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 universe/binary-armhf/Packages
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 universe/binary-armhf/Packages.gz
 8976c3a307d1e6c1471625f40bf6146ebdc050d88a9c14c6b35b677849b8689e 131 universe/binary-armhf/Release
 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 universe/source/Sources
 59869db34853933b239f1e2219cf7d431da006aa919635478511fabbfc8849d2 20 universe/source/Sources.gz
 2f59d1bda66cdf30570c1f88107e93dcc1438d79c03e2538438b86b8a459ad14 132 universe/source/Release