软件包名 描述信息 源码包名 软件包内容 全部搜索项

[  jammy  ] [  noble  ] [  resolute  ] [  stonking  ]

[ 源代码: eye  ]

eye 的相关链接

Ubuntu 的资源:

• 报告问题
• Ubuntu Changelog
• 版权文件

下载源码包 eye:

• [eye_22.1201.1601~ds-1.dsc]
• [eye_22.1201.1601~ds.orig.tar.xz]
• [eye_22.1201.1601~ds-1.debian.tar.xz]

维护者:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Jonas Smedegaard

It should generally not be necessary for users to contact the original maintainer.

外部的资源:

• 主页 [josd.github.io]

相似软件包:

• konclude
• libattean-perl
• libghc-swish-dev
• swish
• libghc-swish-doc
• libghc-swish-prof
• librdf-acl-perl
• safeeyes
• libcoq-hammer
• python3-pebble
• libcoq-mathcomp-bigenough

其他与 eye 有关的软件包

依赖

推荐

建议

enhances

• dep: swi-prolog-abi-2-68-a4633a75-9fa44fc5

  本虚包由这些包填实: swi-prolog-core

• dep: swi-prolog-nox

  ISO/Edinburgh-style Prolog interpreter - without X support

• rec: ca-certificates

  Common CA certificates

• rec: curl

  command line tool for transferring data with URL syntax

下载 eye

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
all	2,996.4 kB	58,669.0 kB	[文件列表]