Back to leaderboard
__ext_lean__ext_mv__ext_v__web_extensioncolor-themecoqdependent typesGallinaicon-themeinteractive theorem provinglean4markdownRocqsoftware verificationthemeProgramming LanguagesEducation
Open VSX
Total downloads
5,179
Since yesterday
+16
Current version
v0.12.0
Days tracked
65
Download history
Version history
v0.12.0 from v0.11.0
Detected 2026-08-25 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 5,179 | v0.12.0 |
| 2026-08-30 02:00:00 | 5,163 | v0.12.0 |
| 2026-08-29 02:00:00 | 5,157 | v0.12.0 |
| 2026-08-28 02:00:00 | 5,145 | v0.12.0 |
| 2026-08-27 02:00:00 | 5,135 | v0.12.0 |
| 2026-08-26 02:00:00 | 5,109 | v0.12.0 |
| 2026-08-25 02:00:00 | 5,067 | v0.12.0 |
| 2026-08-24 02:00:00 | 4,867 | v0.11.0 |
| 2026-08-23 02:00:00 | 4,861 | v0.11.0 |
| 2026-08-22 02:00:00 | 4,853 | v0.11.0 |
| 2026-08-21 02:00:00 | 4,847 | v0.11.0 |
| 2026-08-20 02:00:00 | 4,843 | v0.11.0 |
| 2026-08-19 02:00:00 | 4,841 | v0.11.0 |
| 2026-08-18 02:00:00 | 4,837 | v0.11.0 |
| 2026-08-17 02:00:00 | 4,825 | v0.11.0 |
| 2026-08-16 02:00:00 | 4,821 | v0.11.0 |
| 2026-08-15 02:00:00 | 4,817 | v0.11.0 |
| 2026-08-14 02:00:00 | 4,811 | v0.11.0 |
| 2026-08-13 02:00:00 | 4,809 | v0.11.0 |
| 2026-08-12 02:00:00 | 4,805 | v0.11.0 |
| 2026-08-11 02:00:00 | 4,803 | v0.11.0 |
| 2026-08-10 02:00:00 | 4,799 | v0.11.0 |
| 2026-08-09 02:00:00 | 4,793 | v0.11.0 |
| 2026-08-08 02:00:00 | 4,783 | v0.11.0 |
| 2026-08-07 02:00:00 | 4,779 | v0.11.0 |
| 2026-08-06 02:00:00 | 4,771 | v0.11.0 |
| 2026-08-05 02:00:00 | 4,767 | v0.11.0 |
| 2026-08-04 02:00:00 | 4,765 | v0.11.0 |
| 2026-08-03 02:00:00 | 4,759 | v0.11.0 |
| 2026-08-02 02:00:00 | 4,753 | v0.11.0 |
| 2026-08-01 02:00:00 | 4,745 | v0.11.0 |
| 2026-07-31 02:00:00 | 4,741 | v0.11.0 |
| 2026-07-30 02:00:00 | 4,735 | v0.11.0 |
| 2026-07-29 06:50:17 | 4,729 | v0.11.0 |
| 2026-07-28 02:00:00 | 4,723 | v0.11.0 |
| 2026-07-27 02:00:00 | 4,711 | v0.11.0 |
| 2026-07-26 02:00:00 | 4,705 | v0.11.0 |
| 2026-07-25 02:00:00 | 4,691 | v0.11.0 |
| 2026-07-24 02:00:00 | 4,683 | v0.11.0 |
| 2026-07-23 02:00:00 | 4,677 | v0.11.0 |
| 2026-07-22 02:00:00 | 4,669 | v0.11.0 |
| 2026-07-21 02:00:00 | 4,657 | v0.11.0 |
| 2026-07-20 02:00:00 | 4,641 | v0.11.0 |
| 2026-07-19 02:00:00 | 4,623 | v0.11.0 |
| 2026-07-18 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-17 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-16 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-15 02:00:00 | 4,583 | v0.11.0 |
| 2026-07-14 02:00:00 | 4,447 | v0.11.0 |
| 2026-07-13 02:00:00 | 4,445 | v0.11.0 |
| 2026-07-12 02:00:00 | 4,435 | v0.11.0 |
| 2026-07-11 02:00:00 | 4,433 | v0.11.0 |
| 2026-07-10 02:00:00 | 4,429 | v0.11.0 |
| 2026-07-09 05:29:22 | 4,427 | v0.11.0 |
| 2026-07-08 02:00:00 | 4,397 | v0.11.0 |
| 2026-07-07 02:00:00 | 4,387 | v0.11.0 |
| 2026-07-06 02:00:00 | 4,383 | v0.11.0 |
| 2026-07-05 02:00:00 | 4,381 | v0.11.0 |
| 2026-07-04 02:00:00 | 4,379 | v0.11.0 |
| 2026-07-03 08:30:39 | 4,375 | v0.11.0 |
| 2026-07-02 02:00:00 | 4,361 | v0.11.0 |
| 2026-07-01 02:00:00 | 4,349 | v0.11.0 |
| 2026-06-30 02:00:00 | 4,339 | v0.11.0 |
| 2026-06-29 14:14:45 | 4,339 | v0.11.0 |
| 2026-06-28 07:06:24 | 4,333 | v0.11.0 |