我有一个Debian 8的新安装("Jessie"),并希望安装firewalld包,但APT找不到它。这可能与我在安装过程中没有指定镜像有关,但据我所知,我已经做出了适当的配置。debian/pool/main/f/firewalld/deb http://ftp.us.debian.org/debian/ jessie-updatesmain con
我正在尝试从我的Ubuntu14.04的源代码中安装frama-c,但这是不可能的。allberson@allberson-Aspire-E1-531:~/Área de Trabalho/frama-c-Fluorine-20130601$ make
Generating src/kernel/config.mlGenerating share/Makefile.kernel
Gene