Alle Optionen
trixie  ] [  forky  ] [  sid  ]

Quellcode-Paket: lem (2025-03-13+dfsg-1)

Links für lem

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
lem
Tool merging math and logic for executable definitions (tool)
liblem-ocaml-dev
Tool merging math and logic for executable definitions (development)

Andere Pakete mit Bezug zu lem

  • build-depends
  • build-depends-indep

Download lem

DateiGröße (in kB)MD5-Prüfsumme
lem_2025-03-13+dfsg-1.dsc 2,1 kB 8b431c0a8580f9ba3b510e9aa88ddb8b
lem_2025-03-13+dfsg.orig.tar.xz 490,5 kB 3c3ef2bcc4559b725cfd0561d7b8808e
lem_2025-03-13+dfsg-1.debian.tar.xz 7,2 kB 9bbfc40bcfe0923de45afac066274106
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/ocaml-team/lem.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/ocaml-team/lem