Open VSX Tracker
Back to leaderboard
Gobra IDE icon

Gobra IDE

viper-admin.gobra-ide

This extension provides interactive IDE features for verifying programs in Gobra.

Open VSX Repository Homepage Issues
__ext_gobraethgogobrakeybindingsverificationviperProgramming Languages

Open VSX

Total downloads
5,350
Since yesterday
+10
Current version
v3.1.1
Days tracked
127

Download history

Version history

v3.1.1 from v3.1.0
Detected 2026-10-14 02:00 UTC
v3.1.0 from v2.0.2
Detected 2026-08-12 02:00 UTC
v2.0.2 from v2.0.1
Detected 2026-08-08 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:005,350v3.1.1
2026-10-29 02:00:005,340v3.1.1
2026-10-28 02:00:005,314v3.1.1
2026-10-27 02:00:005,284v3.1.1
2026-10-26 02:00:005,264v3.1.1
2026-10-25 02:00:005,238v3.1.1
2026-10-24 02:00:005,190v3.1.1
2026-10-23 02:00:005,136v3.1.1
2026-10-22 02:00:005,086v3.1.1
2026-10-21 02:00:005,062v3.1.1
2026-10-20 02:00:004,994v3.1.1
2026-10-19 02:00:004,944v3.1.1
2026-10-18 02:00:004,906v3.1.1
2026-10-17 02:00:004,874v3.1.1
2026-10-16 02:00:004,808v3.1.1
2026-10-15 02:00:004,648v3.1.1
2026-10-14 02:00:004,486v3.1.1
2026-10-13 02:00:004,150v3.1.0
2026-10-12 02:00:004,130v3.1.0
2026-10-11 02:00:004,128v3.1.0
2026-10-10 02:00:004,106v3.1.0
2026-10-09 02:00:004,104v3.1.0
2026-10-08 02:00:004,100v3.1.0
2026-10-07 02:00:004,092v3.1.0
2026-10-06 02:00:004,088v3.1.0
2026-10-05 02:00:004,086v3.1.0
2026-10-04 02:00:004,082v3.1.0
2026-10-03 02:00:004,048v3.1.0
2026-10-02 02:00:004,046v3.1.0
2026-10-01 02:00:004,040v3.1.0
2026-09-30 02:00:004,036v3.1.0
2026-09-29 02:00:004,034v3.1.0
2026-09-28 02:00:004,028v3.1.0
2026-09-27 02:00:004,026v3.1.0
2026-09-26 02:00:004,012v3.1.0
2026-09-25 02:00:004,008v3.1.0
2026-09-24 02:00:003,986v3.1.0
2026-09-23 02:00:003,970v3.1.0
2026-09-22 02:00:003,968v3.1.0
2026-09-21 02:00:003,966v3.1.0
2026-09-20 02:00:003,952v3.1.0
2026-09-19 02:00:003,938v3.1.0
2026-09-18 02:00:003,924v3.1.0
2026-09-17 02:00:003,920v3.1.0
2026-09-16 02:00:003,902v3.1.0
2026-09-15 11:36:373,902v3.1.0
2026-09-14 02:00:003,898v3.1.0
2026-09-13 02:00:003,882v3.1.0
2026-09-12 06:52:153,878v3.1.0
2026-09-11 02:00:003,868v3.1.0
2026-09-10 02:00:003,866v3.1.0
2026-09-09 02:00:003,864v3.1.0
2026-09-08 02:00:003,860v3.1.0
2026-09-07 02:00:003,858v3.1.0
2026-09-06 02:00:003,854v3.1.0
2026-09-05 02:00:003,850v3.1.0
2026-09-04 02:00:003,844v3.1.0
2026-09-03 02:00:003,842v3.1.0
2026-09-02 02:00:003,840v3.1.0
2026-09-01 02:00:003,840v3.1.0
2026-08-31 02:00:003,838v3.1.0
2026-08-30 02:00:003,832v3.1.0
2026-08-29 02:00:003,828v3.1.0
2026-08-28 02:00:003,826v3.1.0
2026-08-27 02:00:003,820v3.1.0
2026-08-26 02:00:003,802v3.1.0
2026-08-25 02:00:003,800v3.1.0
2026-08-24 02:00:003,786v3.1.0
2026-08-23 02:00:003,778v3.1.0
2026-08-22 02:00:003,764v3.1.0
2026-08-21 02:00:003,756v3.1.0
2026-08-20 02:00:003,750v3.1.0
2026-08-19 02:00:003,744v3.1.0
2026-08-18 02:00:003,738v3.1.0
2026-08-17 02:00:003,732v3.1.0
2026-08-16 02:00:003,724v3.1.0
2026-08-15 02:00:003,718v3.1.0
2026-08-14 02:00:003,702v3.1.0
2026-08-13 02:00:003,672v3.1.0
2026-08-12 02:00:003,489v3.1.0
2026-08-11 02:00:003,122v2.0.2
2026-08-10 02:00:003,108v2.0.2
2026-08-09 02:00:003,082v2.0.2
2026-08-08 02:00:003,032v2.0.2
2026-08-07 02:00:002,766v2.0.1
2026-08-06 02:00:002,758v2.0.1
2026-08-05 02:00:002,754v2.0.1
2026-08-04 02:00:002,752v2.0.1
2026-08-03 02:00:002,746v2.0.1
2026-08-02 02:00:002,738v2.0.1
2026-08-01 02:00:002,730v2.0.1
2026-07-31 02:00:002,722v2.0.1
2026-07-30 02:00:002,716v2.0.1
2026-07-29 06:50:172,708v2.0.1
2026-07-28 02:00:002,694v2.0.1
2026-07-27 02:00:002,678v2.0.1
2026-07-26 02:00:002,674v2.0.1
2026-07-25 02:00:002,664v2.0.1
2026-07-24 02:00:002,656v2.0.1
2026-07-23 02:00:002,648v2.0.1
2026-07-22 02:00:002,640v2.0.1
2026-07-21 02:00:002,632v2.0.1
2026-07-20 02:00:002,624v2.0.1
2026-07-19 02:00:002,620v2.0.1
2026-07-18 02:00:002,618v2.0.1
2026-07-17 02:00:002,614v2.0.1
2026-07-16 02:00:002,614v2.0.1
2026-07-15 02:00:002,610v2.0.1
2026-07-14 02:00:002,608v2.0.1
2026-07-13 02:00:002,608v2.0.1
2026-07-12 02:00:002,600v2.0.1
2026-07-11 02:00:002,600v2.0.1
2026-07-10 02:00:002,596v2.0.1
2026-07-09 05:29:222,594v2.0.1
2026-07-08 02:00:002,590v2.0.1
2026-07-07 02:00:002,586v2.0.1
2026-07-06 02:00:002,584v2.0.1
2026-07-05 02:00:002,582v2.0.1
2026-07-04 02:00:002,580v2.0.1
2026-07-04 02:00:002,580v2.0.1
2026-07-04 02:00:002,580v2.0.1
2026-07-03 08:30:392,578v2.0.1
2026-07-02 02:00:002,574v2.0.1
2026-07-01 02:00:002,568v2.0.1
2026-06-30 02:00:002,566v2.0.1
2026-06-29 14:14:452,550v2.0.1
2026-06-28 07:06:242,546v2.0.1