lukasplevac/easyconfigs-it4i
1
0
Fork 0
mirror of https://code.it4i.cz/sccs/easyconfigs-it4i.git synced 2025-04-04 06:11:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
easyconfigs-it4i/v/Vampire
History
Lukáš Krupčík 251effdb58 new file: v/Vampire/Vampire-5.0.1-GCC-6.3.0-2.27.eb 
deleted:    v/Vampire/Vampire-5.0.1.eb
2019-07-16 09:21:38 +02:00
..
Vampire-5.0.1-GCC-6.3.0-2.27.eb
new file: v/Vampire/Vampire-5.0.1-GCC-6.3.0-2.27.eb
2019-07-16 09:21:38 +02:00