Parents (Total: 22)

The searched file hash is included in 22 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	210340
MD5	79B4FDA9FB528498F65EE3B94E7C6650
PackageDescription	helps download and run the Tor Browser Bundle Tor Browser Launcher is intended to make the Tor Browser Bundle (TBB) easier to maintain and use for GNU/Linux users. torbrowser-launcher handles downloading the most recent version of TBB for you, in your language and for your architecture. It also adds a "Tor Browser" application launcher to your operating system's menu. . When you first launch Tor Browser Launcher, it will download TBB from https://www.torproject.org/ and extract it to ~/.local/share/torbrowser, and then execute it. Cache and configuration files will be stored in ~/.cache/torbrowser and ~/.config/torbrowser. Each subsequent execution after installation will simply launch the most recent TBB, which is updated using Tor Browser's own update feature.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	torbrowser-launcher
PackageSection	contrib/web
PackageVersion	0.2.9-2ubuntu1
SHA-1	0471032431E0AF6A5C313837D8B54FFC12F8A5A6
SHA-256	1BBD73EC969EE10083B8CBE17573E57A3D476C9C8940AD23B7A099CFBD6C9B68

Key	Value
FileSize	771042
MD5	D1C7790FA3C2119E4BD26D361278782B
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	09AB05EE18E8CC78C02B04A13004F4980D58336E
SHA-256	3B9DBB7E72D1A2F4D2BAC9DCFA25B199D5502FF281058FD629C580460B23835D

Key	Value
MD5	C2F26A267050883473F5DFF3425E0535
PackageArch	noarch
PackageDescription	Tor Browser Launcher is intended to make Tor Browser easier to install and use for GNU/Linux users. You install torbrowser-launcher from your distribution's package manager and it handles everything else: - Downloads and installs the most recent version of Tor Browser in your language and for your computer's architecture, or launches Tor Browser if it's already installed (Tor Browser will automatically update itself) - Certificate pins to https://www.torproject.org, so it doesn't rely on certificate authorities - Verifies Tor Browser's signature for you, to ensure the version you downloaded was cryptographically signed by Tor developers and was not tampered with - Adds "Tor Browser" and "Tor Browser Launcher Settings" application launcher to your desktop environment's menu - Apparmor profile to limit effect of Tor network compromise - Optionally plays a modem sound when you open Tor Browser (because Tor is so slow).
PackageMaintainer	https://bugs.opensuse.org
PackageName	torbrowser-launcher
PackageRelease	lp150.1.4
PackageVersion	0.2.9
SHA-1	17729EC9AD0850E6E747EB5094B20CB9EC735CDD
SHA-256	12ADE41AA2BD845C8DAAA142B77BA9BB663ED823FB3E35179BF39E314DC05027

Key	Value
FileSize	210336
MD5	899324ED2512B52B61B71049EADB1984
PackageDescription	helps download and run the Tor Browser Bundle Tor Browser Launcher is intended to make the Tor Browser Bundle (TBB) easier to maintain and use for GNU/Linux users. torbrowser-launcher handles downloading the most recent version of TBB for you, in your language and for your architecture. It also adds a "Tor Browser" application launcher to your operating system's menu. . When you first launch Tor Browser Launcher, it will download TBB from https://www.torproject.org/ and extract it to ~/.local/share/torbrowser, and then execute it. Cache and configuration files will be stored in ~/.cache/torbrowser and ~/.config/torbrowser. Each subsequent execution after installation will simply launch the most recent TBB, which is updated using Tor Browser's own update feature.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	torbrowser-launcher
PackageSection	contrib/web
PackageVersion	0.2.9-2ubuntu1
SHA-1	264E6AAA97B88D530B9428934B31A55642B5A7B5
SHA-256	9E4C5AA48CEBF2174E9B499EE82760E0E90A322A0F7FDCE5607DCED1C7C58813

Key	Value
FileSize	768622
MD5	CF7419451206DA29110802D9A786A342
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	2E53B038ACCF5A46B3E1C0CDBE94A11E974E1630
SHA-256	40D56AA3F29D9FC92D742D8E55B4DD3DD7EE7B5D30836C2FF3221692CE4D78DA

Key	Value
FileName	10724
FileSize	780938
MD5	6855BD00A5277C16069B8A4A9C690734
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1
RDS:package_id	182052
SHA-1	3105CFBB8590288A8D4FA99EF631A5E6128BB95E
SHA-256	0F1F7521863C5BD8D36AC3F17DA95A8D9F59EF32578DEBC4AC0D37E26FDAE238
insert-timestamp	1679408383.0781152
source	RDS.db

Key	Value
FileSize	668956
MD5	7138E221746E083D2B34694A02B877A5
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	31356DB343479358EED0796B898314E01C2EFEEB
SHA-256	3AE50F67A7D7A4A2D548B500779A0D4B3006939375020081C8521B1F302F83EF

Key	Value
FileSize	703332
MD5	93307D184203676E845EAD5EA59F1368
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Matthew Danish <mrd@debian.org>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1+b1
SHA-1	42371B8BA68D1E15097EF14AE686A3B6F234F6F7
SHA-256	B35BC8BDD0AE6C1B86F720F891DEEF4B6DF16A7B18764CCDBCF0123AA2688FFC

Key	Value
FileSize	637794
MD5	C7DFE166F573C76DDE5303D43C51DBAC
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1
SHA-1	466B6029C799DD9D66EEA9B3DE89799C329BAAB9
SHA-256	0FE487C939F9B5C0293EDD06EA6065B3356F85E61724233BB6735F16186344B6

Key	Value
FileSize	886040
MD5	E55BCEFFEEB7EA0DCCCA20ACA7E485F7
PackageDescription	ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	ats2-lang
PackageSection	devel
PackageVersion	0.2.9-1
SHA-1	4A6FBFED374FF8EA4520142356227F0589250E8F
SHA-256	14494B8D6283355678272B3F8F1A3D1E69AEA2B018C9DB1242A6B0D9144DEC61