Files named coq_8.12.0-3_NEWS

metadata-backend.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

The Netherlands · SURF B.V.

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

Germany · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

Germany · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

United Kingdom · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

United Kingdom · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

Germany · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC
metadata.ftp-master.debian.org · coq_8.12.0-3_NEWS

/changelogs/main/c/coq/

Germany · FASTLY

SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
text/plain
335.00B
2020-09-09 19:16:07 +0000 UTC