全部搜尋項
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

原始碼套件:maude(2.7-2)

maude 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
maude
high-performance logical framework

其他與 maude 有關的套件

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

Download maude

檔案大小(單位:kB)MD5 校驗碼
maude_2.7-2.dsc 2。0 kB 18193aafddde58540fce241937d5f3d7
maude_2.7.orig.tar.gz 1,624。7 kB 95a4e744d5032d7839181c714e6cf8cb
maude_2.7-2.debian.tar.xz 6。6 kB a251a737c7d0b0e8992fc51f7b2409c8
Debian 套件原始碼倉庫(VCSGit
https://anonscm.debian.org/git/debian-med/maude.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://anonscm.debian.org/cgit/debian-med/maude.git