» Ubuntu » Pakiety » resolute (26.04LTS) » Źródło » misc » elan
jammy  ] [  jammy-updates  ] [  noble  ] [  noble-updates  ] [  questing  ] [  questing-updates  ] [  resolute  ] [  resolute-updates  ] [  stonking  ]

Pakiet źródłowy: elan (4.1.2-3.1ubuntu1) [security] [universe]

Odnośniki dla elan

Zasoby systemu Ubuntu:

Opiekun:

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

Original Maintainer (usually from Debian):

  • Christopher Hoskin

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

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
elan
tool for managing installations of the Lean theorem prover

Inne pakiety związane z elan

  • build-depends
  • build-depends-indep

Download elan

PlikRozmiar (w KiB)Suma kontrolna MD5
elan_4.1.2.orig.tar.gz 97,4 KiB bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1ubuntu1.debian.tar.xz 9,7 KiB d78a9de7e5bf495830a0c3b900373b23
elan_4.1.2-3.1ubuntu1.dsc 2,4 KiB 7c32bba7a14c69533caceac0e171a198
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/debian/elan.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/debian/elan