96101,96106d
75175,75180d
75173a

Package: python3-apparmor
Description-md5: 1b890d6ae9abbb968d17e8d6bb04be48
Description-pt_BR: biblioteca de utilitários AppArmor Python3
 python3-apparmor fornece os módulos Python3 que implementam os
 aplicativos AppArmor de nível superior.
.
62507a
Package: mkdocs
Description-md5: 2c96e6fa5a5a7f79d37b7c2a2caa9d9a
Description-pt_BR: gerador de site estático voltado para criação de documentação de projetos
 MkDocs é um gerador de site estático rápido, simples e extremamente bonito, voltado para criação de documentação de projetos. O código-fonte da documentação é escrito em Markdown e configurado em um único arquivo de configuração YAML.

.
62502,62506d
62302,62308d
58275,58281d
53438a
Package: libpython3-stdlib
Description-md5: c18156c98c868e6d8519fa201c52a79c
Description-pt_BR: linguagem orientada a objetos de alto nível e interativa (versão python3 padrão)
 Este pacote contém a maior parte da biblioteca padrão para a linguagem
 Python (versão python3 padrão).
 .
 Este pacote é um pacote de dependências, que depende da biblioteca padrão
 da versão Python 3 do Debian (atualmente v3.14).

.
44803a
Package: libcoq-core
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Description-pt_BR: assistente de provas para lógica de ordem superior (teorias)
 Coq é um assistente de prova para lógica de ordem superior, que permite o
 desenvolvimento de programas de computador coerente com suas especificações
 formais. Ele é desenvolvido usando Objective Caml e Camlp5.
 .
 Este pacote fornece teorias existentes nas quais novas provas podem ser
 baseadas, incluindo teorias de valores aritméticos e booleanos.

.
43103,43109c
Package: libapparmor1
Description-md5: f5c1acf1bc73c3aa32ae8c2037c1d85a
Description-pt_BR: biblioteca changehat AppArmor
 libapparmor1 fornece uma biblioteca compartilhada a partir da qual pode-
 se compilar programas para usar várias funcionalidades de AppArmor, como
 transitar para um perfil ou subperfil AppArmor diferente.

.
9155a
Package: camitk-imp
Description-md5: dd3f9295894451a1295fe3976b740a2f
Description-pt_BR: aplicativo de banco de testes para a biblioteca CamiTK
 CamiTK ajuda pesquisadores e clínicos a colaborarem fácil e rapidamente a
 fim de prototipar as aplicações CAMI que incluem imagens médicas,
 navegação cirúrgica e simulações biomecânicas.
 .
 Camitk-imp é o banco de testes da CamiTK onde todas as extensões
 disponíveis podem ser testadas para fazer a prototipagem. Ele fornece
 acesso simples e interativo a todos os dados e parâmetros
 de algoritmos disponíveis, inclusive aquele construído por você mesmo
 usando o SDK da CamiTK.
 .
 Por exemplo, o camitk-imp pode visualizar imagens médicas a partir de
 muitos formatos padrão, oferecer processamento de imagens e algoritmos de
 segmentação para reconstruir uma geometria mesh e executar simulação
 biomecânica.

.
2557,2578c
Package: apparmor
Description-md5: 9fdfbb456943ca7bfea9e5fd580a5b7f
Description-pt_BR: utilitário analisador de espaço de usuário para AppArmor
 apparmor fornece os scripts de inicialização de sistema necessários para usar o sistema Controle de Acesso Obrigatório AppArmor (AppArmor Mandatory Access Control), incluindo o Analisador AppArmor (AppArmor Parser) que é necessário para converter perfis de texto AppArmor em políticas legíveis por máquina, as quais são carregadas no kernel para uso com o Módulo de Segurança do Linux AppArmor (AppArmor Linux Security Module).

Package: apparmor-notify
Description-md5: 181b767ce4be27302f13e475448885ec
Description-pt_BR: sistema de notificação AppArmor
 apparmor-notify fornece um utilitário para exibir mensagens de recusa do AppArmor através de notificações de área de trabalho. O utilitário também pode ser usado para gerar relatórios consolidados.

Package: apparmor-utils
Description-md5: 71fe4226310f7a4cda967aa2477bddb8
Description-pt_BR: utilitários para controlar AppArmor
 apparmor-utils fornece utilitários que operam em perfis AppArmor.
 Perfis podem ser criados, atualizados, reforçados, colocados no modo
 reclamação e desabilitados com ferramentas como aa-genprof, aa-enforce,
 aa-complain e aa-disable.
 .
 Adicionalmente, o utilitário aa-easyprof ajuda a gerar políticas AppArmor.
 Suporta o uso de modelos e grupos de políticas para gerar rapidamente o
 perfil de uma aplicação.

.
2010,2016c
Package: ansible-core
Description-md5: 39f13fdea0830e3f5b062cdd49f63a59
Description-pt_BR: sistema de gerência de configuração, implantação e execução de tarefas
 Ansible é um sistema radicalmente simples de gerência de configuração, implantação em múltiplos nós e execução de tarefas remotas. Funciona via SSH e não requer quaisquer software ou daemons instalados nos nós remotos. Módulos de extensão podem ser escritos em qualquer linguagem e são transferidos para gerenciar máquinas automaticamente.
 .
 Este pacote contém os binários do ansible.

.
