Origin: LP-PPA-ezyang-coq-mtac Label: Coq with Mtac Suite: trusty Version: 14.04 Codename: trusty Date: Sun, 20 Apr 2014 22:33:45 UTC Architectures: amd64 arm64 armhf i386 powerpc ppc64el Components: main Description: Ubuntu Trusty 14.04 MD5Sum: d708d4833353f461c57add9c9016b03f 119 main/binary-amd64/Release c74e38d1665e25cef6e1e410334ff977 1638 main/binary-amd64/Packages.gz 257566c79edc9f7a856f5e30535472cd 5432 main/binary-amd64/Packages e92ea14a04333f2613a38b95fd184568 1840 main/binary-amd64/Packages.bz2 426a9b0a68679cb870a8be640f735ce0 119 main/binary-arm64/Release 581d3d88d5e06f1b3a88588cda54a60e 1000 main/binary-arm64/Packages 4eca86a4edf6557b6a35b9744b44ba8e 690 main/binary-arm64/Packages.bz2 787186b71c4aa6bc5f50244d89212cbd 623 main/binary-arm64/Packages.gz 747720268d43936d3aa7d8827b55da2b 119 main/binary-armhf/Release 787186b71c4aa6bc5f50244d89212cbd 623 main/binary-armhf/Packages.gz 581d3d88d5e06f1b3a88588cda54a60e 1000 main/binary-armhf/Packages 4eca86a4edf6557b6a35b9744b44ba8e 690 main/binary-armhf/Packages.bz2 54072b018b4c5c3cfe2ccc7d31b3d34e 118 main/binary-i386/Release bef8053427b71516405dd7db59ab8805 1853 main/binary-i386/Packages.bz2 69adf5335873a142f22b5dae4afd3e70 5424 main/binary-i386/Packages 250ea97b1b1e0980b25bb6402b8b15af 1632 main/binary-i386/Packages.gz 787186b71c4aa6bc5f50244d89212cbd 623 main/binary-powerpc/Packages.gz 5c4fd270dcf967858f4b31ff42dc3893 121 main/binary-powerpc/Release 4eca86a4edf6557b6a35b9744b44ba8e 690 main/binary-powerpc/Packages.bz2 581d3d88d5e06f1b3a88588cda54a60e 1000 main/binary-powerpc/Packages 581d3d88d5e06f1b3a88588cda54a60e 1000 main/binary-ppc64el/Packages e0dbeab94669641f7f4d66d23c51eea5 121 main/binary-ppc64el/Release 4eca86a4edf6557b6a35b9744b44ba8e 690 main/binary-ppc64el/Packages.bz2 787186b71c4aa6bc5f50244d89212cbd 623 main/binary-ppc64el/Packages.gz 73e98111c68b91c64562bc84afbd0716 20 main/debian-installer/binary-amd64/Packages.gz 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-amd64/Packages.bz2 d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-amd64/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-arm64/Packages.bz2 d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-arm64/Packages 73e98111c68b91c64562bc84afbd0716 20 main/debian-installer/binary-arm64/Packages.gz 73e98111c68b91c64562bc84afbd0716 20 main/debian-installer/binary-armhf/Packages.gz d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-armhf/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-armhf/Packages.bz2 73e98111c68b91c64562bc84afbd0716 20 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 73e98111c68b91c64562bc84afbd0716 20 main/debian-installer/binary-powerpc/Packages.gz d41d8cd98f00b204e9800998ecf8427e 0 main/debian-installer/binary-ppc64el/Packages 4059d198768f9f8dc9372dc1c54bc3c3 14 main/debian-installer/binary-ppc64el/Packages.bz2 73e98111c68b91c64562bc84afbd0716 20 main/debian-installer/binary-ppc64el/Packages.gz 39d3d3c9af47548b33d204bd67dfd7bc 1813 main/source/Sources fac4871ab008984e5e80cb7d218c2699 983 main/source/Sources.bz2 2008a27b1aa133bb37d7e68850e06c92 120 main/source/Release 4b34ddc3141894aef7c95e0b9c7822d3 890 main/source/Sources.gz SHA1: 770c55b300c9fc15d3c3b034d855033dff570daf 119 main/binary-amd64/Release 725e953f3f254e6a3e5580f65e5e1f9f73459f13 1638 main/binary-amd64/Packages.gz b3c6c8a71f0565ff843a34851d8e3a9c70b7f815 5432 main/binary-amd64/Packages 9dbc4260c4830cbd154c0c94dbacec692bb14e5d 1840 main/binary-amd64/Packages.bz2 68fb8805ec0b2636fca42ac62dd8f234f966833a 119 main/binary-arm64/Release 8c49fc667e96351554a4818776ec793dff7aaa21 1000 main/binary-arm64/Packages 15e5ce5a137168b99e2b75681ca0e780d0e4044b 690 main/binary-arm64/Packages.bz2 891bae8f9f91247677bc53aba3f27adf8ac3680b 623 main/binary-arm64/Packages.gz 0227928c0737825bcac4d66c8cc3315535dc5c9e 119 main/binary-armhf/Release 891bae8f9f91247677bc53aba3f27adf8ac3680b 623 main/binary-armhf/Packages.gz 8c49fc667e96351554a4818776ec793dff7aaa21 1000 main/binary-armhf/Packages 15e5ce5a137168b99e2b75681ca0e780d0e4044b 690 main/binary-armhf/Packages.bz2 82c94e01fee911a1806937f51c1ff5fc56fb430b 118 main/binary-i386/Release 7a8bbcf57cabc50252f7d8bd036fd3722b50efbf 1853 main/binary-i386/Packages.bz2 aca2fe2f56c7188bfe8ef501f5cab8d46edaacb0 5424 main/binary-i386/Packages 4a08e1d00cbbbd3eaf1cde089175acec39781680 1632 main/binary-i386/Packages.gz 891bae8f9f91247677bc53aba3f27adf8ac3680b 623 main/binary-powerpc/Packages.gz e2d44feabe72f08eca4c16800d568d85444f53ff 121 main/binary-powerpc/Release 15e5ce5a137168b99e2b75681ca0e780d0e4044b 690 main/binary-powerpc/Packages.bz2 8c49fc667e96351554a4818776ec793dff7aaa21 1000 main/binary-powerpc/Packages 8c49fc667e96351554a4818776ec793dff7aaa21 1000 main/binary-ppc64el/Packages fd3b258f36ad75126d94f143be29438a233e835d 121 main/binary-ppc64el/Release 15e5ce5a137168b99e2b75681ca0e780d0e4044b 690 main/binary-ppc64el/Packages.bz2 891bae8f9f91247677bc53aba3f27adf8ac3680b 623 main/binary-ppc64el/Packages.gz b435eae853d2b2f215e07481b95fc52ccd37f469 20 main/debian-installer/binary-amd64/Packages.gz 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-amd64/Packages.bz2 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-amd64/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-arm64/Packages.bz2 da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-arm64/Packages b435eae853d2b2f215e07481b95fc52ccd37f469 20 main/debian-installer/binary-arm64/Packages.gz b435eae853d2b2f215e07481b95fc52ccd37f469 20 main/debian-installer/binary-armhf/Packages.gz da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-armhf/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-armhf/Packages.bz2 b435eae853d2b2f215e07481b95fc52ccd37f469 20 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 b435eae853d2b2f215e07481b95fc52ccd37f469 20 main/debian-installer/binary-powerpc/Packages.gz da39a3ee5e6b4b0d3255bfef95601890afd80709 0 main/debian-installer/binary-ppc64el/Packages 64a543afbb5f4bf728636bdcbbe7a2ed0804adc2 14 main/debian-installer/binary-ppc64el/Packages.bz2 b435eae853d2b2f215e07481b95fc52ccd37f469 20 main/debian-installer/binary-ppc64el/Packages.gz 029f351bf457703e2bf51bad1f0b99fbe7398798 1813 main/source/Sources 007c8e713c1f9bc2fe09cb555635f537eed1ef82 983 main/source/Sources.bz2 2d1e957bc824c2c9f77acbff1813a0e2b880e822 120 main/source/Release 13ad6907355020f862ee45ed9267510aae317989 890 main/source/Sources.gz SHA256: b26cb1543258717ec4f6eef0444f11b1893b1d4e95b61da6f70262d9eb0cae1e 119 main/binary-amd64/Release 67087c26d5206b4bc2f5b9562550dfc9c44a39452941e36a5a13e9402d9b8691 1638 main/binary-amd64/Packages.gz 72dbf629a8963c174da0bf91acd7f14dc8e207d73d866c6e7ab04c4b4939aa8b 5432 main/binary-amd64/Packages fdeaa3eb2c40c71b050707380bf4c8519a8d8c0436d4a9949f48720a80cd323f 1840 main/binary-amd64/Packages.bz2 2ef05e524579ba6d1a3c60d4781d885e805943d2bef6041dc985bab6539ce27d 119 main/binary-arm64/Release 947392c2a23f63a8f0ab1c6b55ea7d33a27851bad39292b823f3d1bde793d963 1000 main/binary-arm64/Packages b9cc72306d8fa8dbcbb89226efb9b80ad1de10ffb92b3cbbc005376ed92ed68e 690 main/binary-arm64/Packages.bz2 36ab199fd2f96412e516aee030d6aff205a9784ec8c78aae426ba8b2952ffad4 623 main/binary-arm64/Packages.gz 3c346cfa21bea1cbaa3292111225da69e7571d4049fb835bad59c46079e27dbc 119 main/binary-armhf/Release 36ab199fd2f96412e516aee030d6aff205a9784ec8c78aae426ba8b2952ffad4 623 main/binary-armhf/Packages.gz 947392c2a23f63a8f0ab1c6b55ea7d33a27851bad39292b823f3d1bde793d963 1000 main/binary-armhf/Packages b9cc72306d8fa8dbcbb89226efb9b80ad1de10ffb92b3cbbc005376ed92ed68e 690 main/binary-armhf/Packages.bz2 f92e756b2ce6ab56ce573c14ddc936d9b6691fb124e1cfee24bdc35ae780fa53 118 main/binary-i386/Release 1bde9e5aef9d2b25f80f0376f8b5ae3e59051a7917c3759810dffeb492fb6fae 1853 main/binary-i386/Packages.bz2 8f25be275126cf3f625629787404a28bc42a4eb90bd5792c2cb756dc963eea84 5424 main/binary-i386/Packages 30d141f94ecbd07d376c2416e97d6a1517d31a618526c46f40dc1e8d43a9c9fa 1632 main/binary-i386/Packages.gz 36ab199fd2f96412e516aee030d6aff205a9784ec8c78aae426ba8b2952ffad4 623 main/binary-powerpc/Packages.gz ef0bf8191fa8c69a84f2d99dd6d23d29214372cdd060b144ff0fbd80fc675780 121 main/binary-powerpc/Release b9cc72306d8fa8dbcbb89226efb9b80ad1de10ffb92b3cbbc005376ed92ed68e 690 main/binary-powerpc/Packages.bz2 947392c2a23f63a8f0ab1c6b55ea7d33a27851bad39292b823f3d1bde793d963 1000 main/binary-powerpc/Packages 947392c2a23f63a8f0ab1c6b55ea7d33a27851bad39292b823f3d1bde793d963 1000 main/binary-ppc64el/Packages c6e06c4676547cd50b3294420f4bfaf21f7c4a4522cf7b2f9866a762c42bc199 121 main/binary-ppc64el/Release b9cc72306d8fa8dbcbb89226efb9b80ad1de10ffb92b3cbbc005376ed92ed68e 690 main/binary-ppc64el/Packages.bz2 36ab199fd2f96412e516aee030d6aff205a9784ec8c78aae426ba8b2952ffad4 623 main/binary-ppc64el/Packages.gz 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 main/debian-installer/binary-amd64/Packages.gz d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-amd64/Packages.bz2 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-amd64/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-arm64/Packages.bz2 e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-arm64/Packages 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 main/debian-installer/binary-arm64/Packages.gz 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 main/debian-installer/binary-armhf/Packages.gz e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-armhf/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-armhf/Packages.bz2 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 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 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 main/debian-installer/binary-powerpc/Packages.gz e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/debian-installer/binary-ppc64el/Packages d3dda84eb03b9738d118eb2be78e246106900493c0ae07819ad60815134a8058 14 main/debian-installer/binary-ppc64el/Packages.bz2 554a1d7727b1de9074800ee8a7b6ec4b69587a5b4be1f2eb0fb56064be7f42e8 20 main/debian-installer/binary-ppc64el/Packages.gz 3d31049a7d08411b7f11a765d5b701e6799574d0a2f406043585be3b437080be 1813 main/source/Sources 5995e9def8529f159ebec84eed819b40f463c099d1622fe707c3d94adad8cd78 983 main/source/Sources.bz2 e8285d86d2b0a2d97b730ffa5a4e4d8611d196a59491cb5415fd78418ffe852c 120 main/source/Release 8b4eea075b3273b9bbeb82d9cb3570175ca46f763f6d2f9565882e9e7f8812f4 890 main/source/Sources.gz