λ
Да хоть интел
Size: a a a
2021 March 12
AT
Места мало
удали ненужное
R
R
И так по минимуму
R
Ну я ща каталину обновляю
AT
или чтоб удалить ненужное нужно сначала скачать ненужное, а у тебя места нет
AT
Ну я ща каталину обновляю
это эвфемизм?
λ
удали ненужное
Удали окамл
R
это эвфемизм?
Это реальность
λ
Он кстати много занимает
AT
Он кстати много занимает
примерно 2-2.5GB обычно (компилятор + нужные мне камлёвые либы)
если ещё и coq добавляется, то бывает от 2-х гигов до примерно 6
если ещё и coq добавляется, то бывает от 2-х гигов до примерно 6
Oℕ
@odomontois узнали? согласны?
узнал, нёс, славил додя
λ
примерно 2-2.5GB обычно (компилятор + нужные мне камлёвые либы)
если ещё и coq добавляется, то бывает от 2-х гигов до примерно 6
если ещё и coq добавляется, то бывает от 2-х гигов до примерно 6
похож спиздел, у меня еще меньше
λ
да, со мной не поесть стеиков
λ
@kshelopugin зато я теперь могу есть стейки с тобой
KS
@kshelopugin зато я теперь могу есть стейки с тобой
?
AG
ставьте идрис, он десяток мегов
λ
Kirill Shelopugin
?
вступил в твою банду пиздаболов