Automic VaultAutomic Vault

brew

dhall を Homebrew, apt, dnf, Nix, pacman, scoop でインストール

dhall のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install dhall

local Homebrew formula metadata

Linux

Debian apt確認済み · 92%
sudo apt install dhall

Debian stable package indexes · dhall · ソース: deb.debian.org

Fedora dnf確認済み · 92%
sudo dnf install dhall

Fedora Rawhide package metadata · dhall · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#dhall

nixpkgs package indexes · dhall · ソース: raw.githubusercontent.com

Arch Linux pacman確認済み · 92%
sudo pacman -S dhall

Arch Linux sync databases · dhall · ソース: geo.mirror.pkgbuild.com

Windows

Scoop確認済み · 92%
scoop install main/dhall

Scoop official bucket manifest trees · bucket/dhall.json · ソース: api.github.com

概要

パッケージ概要

Interpreter for the Dhall language

コマンドとエイリアス

  • dhall

履歴

プロジェクトの歴史と使われ方

Dhall is a typed, terminating configuration language with a command-line interpreter. Its package-manager identity is unusual: it is a language runtime shipped like a CLI utility, most often installed to make large configuration files safer, less repetitive, and easier to generate.

プロジェクトの歴史

The first Hackage dhall 1.0.0 package metadata names Gabriel Gonzalez as author, carries 2016 copyright, and describes Dhall as a configuration language guaranteed to terminate. The dhall-lang/dhall-haskell repository was created in 2016 and remains the official Haskell implementation.

採用の歴史

Official Dhall documentation frames the language around programmable configuration files: reducing repetition while keeping stronger safety properties than general-purpose scripting languages. The official production-use page records adoption by integrations and companies using Dhall for package sets, server configuration, Kubernetes, CI, CloudFormation, and product configuration models.

使われ方

The dhall executable parses, type-checks, evaluates, and pretty-prints Dhall expressions. In practice users combine it with converters such as dhall-to-json and dhall-to-yaml when a target tool still expects JSON or YAML.

パッケージ好きにとっての重要性

Dhall matters to package nerds because it sits at the boundary between programming languages and boring config files. It offers imports, functions, types, normalization, and hashes while intentionally avoiding unrestricted effects and Turing completeness, so package maintainers can ship configuration logic without shipping a general scripting environment.

タイムライン

  • 2016: dhall 1.0.0 is published on Hackage as a terminating configuration language.
  • 2016: dhall-lang/dhall-haskell is created as the Haskell implementation repository.
  • 2017: dhall-lang/dhall-lang is created for language documentation and specification material.
  • 2026: Official documentation continues to organize Dhall around tutorials, how-tos, references, and production use.

Related projects

  • dhall-yaml converts Dhall expressions to and from YAML.
  • dhall-json provides JSON conversion tooling.
  • dhall-lang/dhall-lang hosts the language documentation and specification material.

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

リスク yellow · 信頼度 中 · runtime

理由

  • generalized runtime or code generation signal

信号

  • text:interpreter

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
  • 1 件の実行時依存関係とともにインストールされます。
  • ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
dhallcliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-10
マネージャ版1.42.3
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://dhall-lang.org/

  • 情報No package-manager update timestamp was available.信頼度 低
  • 情報Release/tag comparison is only available for GitHub repositories.https://dhall-lang.org/信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:dhall
バージョン1.42.3
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/dhall
ホームページhttps://dhall-lang.org/
リポジトリhttps://github.com/dhall-lang/dhall-haskell
上流ドキュメントhttps://dhall-lang.org/
ライセンスBSD-3-Clause
ソースアーカイブhttps://hackage.haskell.org/package/dhall-1.42.3/dhall-1.42.3.tar.gz
依存関係gmp
ビルド依存関係cabal-install, ghc
macOS 提供ライブラリlibffi, ncurses
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namedhall
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

dhall 1.42.1-1+b1

configuration language guaranteed to terminate

sudo apt install dhall
  • Section: misc
  • Architecture: amd64
  • Source Package: haskell-dhall
  • 6 依存関係
  • normalized package name match
  • 一致条件: Dhall
Debian stable package indexes · deb.debian.org · Debian stable package indexes: dhall from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

dhall

nix profile install nixpkgs#dhall
  • normalized package name match
  • 一致条件: Dhall
nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: dhall from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
Ubuntu apt95%

dhall 1.41.2-1

configuration language guaranteed to terminate

sudo apt install dhall
  • Section: universe/misc
  • Architecture: amd64
  • Source Package: haskell-dhall
  • 5 依存関係
  • normalized package name match
  • 一致条件: Dhall
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: dhall from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

dhall 1.42.3-1.fc44

A configuration language guaranteed to terminate

https://hackage.haskell.org/package/dhall

sudo dnf install dhall
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: dhall
  • 9 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

dhall-common 1.42.3-1.fc44

dhall common files

https://hackage.haskell.org/package/dhall

sudo dnf install dhall-common
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: dhall
  • 1 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: dhall-common from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

ghc-dhall 1.42.3-1.fc44

Haskell dhall library

https://hackage.haskell.org/package/dhall

sudo dnf install ghc-dhall
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: dhall
  • 32 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

ghc-dhall-devel 1.42.3-1.fc44

Haskell dhall library development files

https://hackage.haskell.org/package/dhall

sudo dnf install ghc-dhall-devel
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: dhall
  • 3 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-dhall-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

ghc-dhall-doc 1.42.3-1.fc44

Haskell dhall library documentation

https://hackage.haskell.org/package/dhall

sudo dnf install ghc-dhall-doc
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: dhall
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-dhall-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

ghc-dhall-prof 1.42.3-1.fc44

Haskell dhall profiling library

https://hackage.haskell.org/package/dhall

sudo dnf install ghc-dhall-prof
  • License: BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: dhall
  • 2 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Dhall
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: ghc-dhall-prof from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
pacman95%

dhall 1.42.3-81

A configuration language guaranteed to terminate

https://dhall-lang.org

sudo pacman -S dhall
  • License: BSD-3-Clause
  • Architecture: x86_64
  • 32 依存関係
  • normalized package name match
  • 一致条件: Dhall
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: dhall from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
Scoop95%

main/dhall

scoop install main/dhall
  • normalized package name match
  • 一致条件: Dhall
Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/dhall.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment