calculate
/
builder-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Обновлен список пакетов

Browse Source
develop
Alexander Tratsevskiy 3 years ago
parent 768246496b
commit 9ee786ed6c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File

1
profiles/templates/3.5/6_ac_update_sync/world/grp/sci-mathematics
Unescape View File

@ -6,4 +6,5 @@
# not compiled
!!alt-ergo:0
!!singular:0
!!why3-for-spark:0
#in#

Write Preview
Loading…
Cancel
Save