2019-02-28 14:46:43 +06:00
|
|
|
<entry>
|
2021-02-01 07:03:02 +06:00
|
|
|
<version>8.13.0</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>
|
