Origin: LP-PPA-ezyang-coq-mtac Label: Coq with Mtac Suite: saucy Version: 13.10 Codename: saucy Date: Mon, 29 Jul 2013 8:53:48 UTC Architectures: amd64 armhf i386 powerpc Components: main Description: Ubuntu Saucy 13.10 MD5Sum: bf31e383cfcb54f12098c2125b625d5e 118 main/binary-amd64/Release 5e808e0181cae2b3cefca4b481d0d49a 1648 main/binary-amd64/Packages.gz 0779781bb42747b9648faf4fb2ce4053 5419 main/binary-amd64/Packages 8e70535fd423c88a462126133efaf46e 1838 main/binary-amd64/Packages.bz2 829d4e8bc1eaee58c736cf6bb088faf7 633 main/binary-armhf/Packages.gz 60143e1ef96b341403e7d39421a1596e 118 main/binary-armhf/Release 36ed9493ece36c8215cdff8432983862 683 main/binary-armhf/Packages.bz2 3fa7a604c1f43b22356a392495a5e392 998 main/binary-armhf/Packages b8c58a9b7d053d89ec3c74025dd639f0 5411 main/binary-i386/Packages e8052698b50153d0c50c430df76689b9 117 main/binary-i386/Release b9f797a687cf41956e04b78a0ac192f6 1841 main/binary-i386/Packages.bz2 19f97cb1e47495c1466d0c0238a925e3 1640 main/binary-i386/Packages.gz 36ed9493ece36c8215cdff8432983862 683 main/binary-powerpc/Packages.bz2 829d4e8bc1eaee58c736cf6bb088faf7 633 main/binary-powerpc/Packages.gz 3fa7a604c1f43b22356a392495a5e392 998 main/binary-powerpc/Packages b58db8eb814376159ebc202ccfe905a5 120 main/binary-powerpc/Release 4430dee96538ada0431c92f09e8ddb51 29 main/debian-installer/binary-amd64/Packages.gz d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-amd64/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-amd64/Packages.bz2 4430dee96538ada0431c92f09e8ddb51 29 main/debian-installer/binary-armhf/Packages.gz d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-armhf/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-armhf/Packages.bz2 4430dee96538ada0431c92f09e8ddb51 29 main/debian-installer/binary-i386/Packages.gz 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-i386/Packages.bz2 d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-i386/Packages d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-powerpc/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-powerpc/Packages.bz2 4430dee96538ada0431c92f09e8ddb51 29 main/debian-installer/binary-powerpc/Packages.gz 625397b36640af63ec60259b5e98469e 119 main/source/Release b165af2bcb1ff58736a1bf8bf28cc72a 1806 main/source/Sources 3e44ef1406007546141b3fd5791c37db 994 main/source/Sources.bz2 8c95b870b6b5912d820d99ffcaa5e0de 897 main/source/Sources.gz SHA1: b0019afc2c74e2469b19dffef34e509d1a93e247 118 main/binary-amd64/Release 3df2fbc3e669b8c09e0a0ef5a94e17bc2965ac75 1648 main/binary-amd64/Packages.gz edaed5b39c6b8640da1245c037c1487452513299 5419 main/binary-amd64/Packages 149ce827892cd93a8d1cc16c860af7f20dde5d0b 1838 main/binary-amd64/Packages.bz2 58d84c6a54758286c613bf91f92f4a95a67d189e 633 main/binary-armhf/Packages.gz c8b5258f594be92c2ba068033ebaed2f59cf7a65 118 main/binary-armhf/Release 53ae223fc53f1e987316939928c2e05fb15761c0 683 main/binary-armhf/Packages.bz2 a2d9aa030e3ac0c368ab5bdaabc2e48639079a5c 998 main/binary-armhf/Packages 34a78b9b30ef48754ec96fe7ccc3184d1f18b06a 5411 main/binary-i386/Packages 149726aadef145fd2e21bbb3ee936263e6c59f50 117 main/binary-i386/Release a1a15aba058884f1082528f3e8cc40a6b76968a2 1841 main/binary-i386/Packages.bz2 29719883efe74f7a9506076064988c908ec33865 1640 main/binary-i386/Packages.gz 53ae223fc53f1e987316939928c2e05fb15761c0 683 main/binary-powerpc/Packages.bz2 58d84c6a54758286c613bf91f92f4a95a67d189e 633 main/binary-powerpc/Packages.gz a2d9aa030e3ac0c368ab5bdaabc2e48639079a5c 998 main/binary-powerpc/Packages b99d7cad415f73f0dba9c2485e23a5e8c19fd9c9 120 main/binary-powerpc/Release 8b9e7d4bf484fc903a4f0e2a964490e697f20b73 29 main/debian-installer/binary-amd64/Packages.gz da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-amd64/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-amd64/Packages.bz2 8b9e7d4bf484fc903a4f0e2a964490e697f20b73 29 main/debian-installer/binary-armhf/Packages.gz da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-armhf/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-armhf/Packages.bz2 8b9e7d4bf484fc903a4f0e2a964490e697f20b73 29 main/debian-installer/binary-i386/Packages.gz 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-i386/Packages.bz2 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-i386/Packages da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-powerpc/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-powerpc/Packages.bz2 8b9e7d4bf484fc903a4f0e2a964490e697f20b73 29 main/debian-installer/binary-powerpc/Packages.gz ed61e49f4b0d7f197693164685f8b8d957397c4f 119 main/source/Release fc8b56175b4b149923636fa56a2ac6c75d449f7e 1806 main/source/Sources d3681d55e631d7c1f0c98632a66e0ec9b4fd26f8 994 main/source/Sources.bz2 6f3b31c40b79ad8c7a66b59727b1882a3716410b 897 main/source/Sources.gz SHA256: deed9e48eebdee9e1ba7650c4223446d8e9f2fde868a122eb3c8fb93016a5b0d 118 main/binary-amd64/Release 16e0c66ac9cd7beb5bbf05b614f67e78106b4fe8305d475fb5cbb9568d75f1ef 1648 main/binary-amd64/Packages.gz 94cb8963c6944686f61e6dda67fc3badb0484c1ad9c332fef517e350721e1d7d 5419 main/binary-amd64/Packages f83538a81eca153440ba26ebbbafded92885b2b49228c2fc1f9f1a84e1bdc08d 1838 main/binary-amd64/Packages.bz2 57fe62e63c5d6c547f5332a2c407e71c4905317ef8d7dffaeaa15f84fb13b20e 633 main/binary-armhf/Packages.gz a1b14936da1da45f031630a6cf7c304319850081eb464cb13db44406fcedcf6e 118 main/binary-armhf/Release 841888c95d324e3d0ba74b248b2471118755dc393b8f5292f57bd3342c4cd5fb 683 main/binary-armhf/Packages.bz2 766106b1f3f92462ed26a0904e6a750a25109101413c4554cb4d2d25c1eddfe1 998 main/binary-armhf/Packages a6fa33a22c7bf3ae3b45895597baa9da7d28c19d0ef2c01b3a39b74143219b8b 5411 main/binary-i386/Packages 8951ca5f1acd652ecf0d0678a2d3b3d51d128a6acd581e405afe7741c00d5da9 117 main/binary-i386/Release 1ae800e4be904152141b41cd2185a8539ed07fd4860a9841b4bc9102408c82ea 1841 main/binary-i386/Packages.bz2 d2205c06d9adf617eb3178b16f3d4eba646b7ee8529b9656c3e97f2523190c99 1640 main/binary-i386/Packages.gz 841888c95d324e3d0ba74b248b2471118755dc393b8f5292f57bd3342c4cd5fb 683 main/binary-powerpc/Packages.bz2 57fe62e63c5d6c547f5332a2c407e71c4905317ef8d7dffaeaa15f84fb13b20e 633 main/binary-powerpc/Packages.gz 766106b1f3f92462ed26a0904e6a750a25109101413c4554cb4d2d25c1eddfe1 998 main/binary-powerpc/Packages 5f1168718af7743f9de8f5c7ac20b0eeddad953412d41ad7f8b447637b9bcb52 120 main/binary-powerpc/Release 3e7d1c974a5f25b731ea9f30f52c3fca124caa6f4657d4a9abe0d58a2eed1105 29 main/debian-installer/binary-amd64/Packages.gz e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-amd64/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-amd64/Packages.bz2 3e7d1c974a5f25b731ea9f30f52c3fca124caa6f4657d4a9abe0d58a2eed1105 29 main/debian-installer/binary-armhf/Packages.gz e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-armhf/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-armhf/Packages.bz2 3e7d1c974a5f25b731ea9f30f52c3fca124caa6f4657d4a9abe0d58a2eed1105 29 main/debian-installer/binary-i386/Packages.gz d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-i386/Packages.bz2 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-i386/Packages e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-powerpc/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-powerpc/Packages.bz2 3e7d1c974a5f25b731ea9f30f52c3fca124caa6f4657d4a9abe0d58a2eed1105 29 main/debian-installer/binary-powerpc/Packages.gz 79cd60a5acf57adabdeec0f5e3b7d0940bab63944a5e0364d6ff5584226f5bd9 119 main/source/Release 433b00c97ccc28a7db65c23fa5859569ebd2c987cc223360ff5284b22334d884 1806 main/source/Sources a428919cdac91eb399bf274f50b25a258c12edb4ea3e04509e8fd9ffb93bc94a 994 main/source/Sources.bz2 b6250606731569f956812bfb81a5412f4b5f298632b145e5199957978f551b3e 897 main/source/Sources.gz