全部搜尋項
bianca  ]

原始碼套件:lem(2022-12-10+dfsg2-4)

lem 的相關連結

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
lem
Tool merging math and logic for executable definitions (tool)
liblem-ocaml-dev
Tool merging math and logic for executable definitions (development)

其他與 lem 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download lem

檔案大小(單位:kB)MD5 校驗碼
lem_2022-12-10+dfsg2-4.debian.tar.xz 8。8 kB 09b798af02f30c17c7fc586edc08763b
lem_2022-12-10+dfsg2-4.dsc 1。9 kB 44e9994b96061a0683424aa20fcdc352
lem_2022-12-10+dfsg2.orig.tar.xz 488。7 kB 10e8eca9382d758d7641df0be88af534
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/lem.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/lem