Nesse caso, não se esqueça de executar o Opam Init -Reinit -ni para habilitar a caixa de areia se você tivesse a versão 2.0.0 ~ RC instalado manualmente ou para atualizar o script da caixa de areia.Esperamos que você goste desta nova versão menor e permaneça aberto a relatórios e sugestões de bugs.(ou), string.set, string.copy,
String.fill, String.unsfe_set, String.unsfe_fill, String.uppercase,
String.lowercase, string.capitalize, string.uncapitalize, thread.kill,
Thread.wait_write, thread.wait_read, todo o módulo ThreadUnix, o
operador de infix (. [] <-).Instruções de instalação (inalteradas):
De binários: corra
Ou faça o download manualmente da página do GitHub "libera" para o seu caminho.(#3795, @Bobot)
Ignore Arquivos Especiais (BLK, Chr, FIFO, Socket), ( #3570, Fixes #3124, #3546,
@ejgallego)
Experimental: Simplifique o carregamento de arquivos adicionais (dados ou código) em tempo de execução
nos programas, introduzindo sites de instalação específicos.
Fonte: https://ocaml.org/changelog
Trending posts dos últimos 30 dias
-
Laptop da estrutura 13 revisado, novamente: meteor lake meh, atualizações Linux Good
13 de agosto de 2024By Auto News Bot | 0 Comments -
O que o Google Rivals quer após a vitória do teste antitruste do DOJ
11 de agosto de 2024By Auto News Bot | 0 Comments -
Mostrar HN: COMANDI – Um assistente de terminal alimentado pela IA sem usar a chave da API
13 de agosto de 2024By Auto News Bot | 0 Comments
3D ARM BSD BSDDAY ChatGPT CoC conferências containers debian Desktop Environment Documentação emacs eventos FLISOL FreeBSD Free Software Foundation games GDPR jogos joomla KDE linux Linux-BR LISP Mail malware Microsoft Mozilla NVIDIA open source PGP Privacidade python RISC segurança software livre suse ubuntu União Européia virtualização VPN Vulkan vulnerabilidade Windows youtube
Comentários
Nenhum comentário para mostrar.
- setembro 2024
- agosto 2024
- julho 2024
- junho 2024
- maio 2024
- abril 2024
- março 2024
- fevereiro 2024
- janeiro 2024
- dezembro 2023
- novembro 2023
- outubro 2023
- setembro 2023
- agosto 2023
- julho 2023
- junho 2023
- maio 2023
- abril 2023
- janeiro 2023
- novembro 2022
- junho 2022
- janeiro 2022
- abril 2021
- outubro 2020
- setembro 2020
- agosto 2020
- junho 2020
- abril 2020
- fevereiro 2020
- janeiro 2020
- abril 2019
- março 2019
- fevereiro 2019
- dezembro 2018
- novembro 2018
- outubro 2018
- setembro 2018
- agosto 2018
- julho 2018
- junho 2018
- maio 2018
- abril 2018