2019-02-28 14:46:43 +06:00
|
|
|
<entry>
|
2020-04-20 06:12:22 +06:00
|
|
|
<version>8.11.1</version>
|
2019-02-28 14:46:43 +06:00
|
|
|
<url>http://frankfurt.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://london.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://newyork.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://sanfrancisco.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://singapore.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://tokyo.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
<url>http://sydney.kapeli.com/feeds/zzz/user_contributed/build/Coq/Coq.tgz</url>
|
|
|
|
</entry>
|