why3 packages - Repology

66 package(s) known

Debian 9
^stretch/main

why3

0.87.3 (0.87.3-2)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):

Debian 10
^buster/main

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):

Debian 11
^{bullseye/main}

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):

Debian 12
^{bookworm/main}

why3

1.5.1 (1.5.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):

Debian Unstable
^sid/main

why3

1.5.1 (1.5.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):

Deepin
^main

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 2.0
^ascii/main

why3

0.87.3 (0.87.3-2)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 3.0
^beowulf/main

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 4.0
^{chimaera/main}

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan Unstable
^{unstable/main}

why3

1.5.1 (1.5.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Fedora 26
^release

why3

0.87.3 (0.87.3-3.fc26)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 27
^release

why3

0.88.0 (0.88.0-1.fc27)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 28
^release

why3

0.88.3 (0.88.3-1.fc28)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 29
^release

why3

0.88.3 (0.88.3-1.fc28)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 30
^release

why3

1.1.1 (1.1.1-2.fc30)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 31
^updates

why3

1.2.1 (1.2.1-3.fc31)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 31
^release

why3

1.2.0 (1.2.0-5.fc31)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 32
^updates

why3

1.3.1 (1.3.1-6.fc32)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 32
^release

why3

1.3.1 (1.3.1-1.fc32)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 33
^updates

why3

1.3.3 (1.3.3-4.fc33)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 33
^release

why3

1.3.3 (1.3.3-1.fc33)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 34
^updates

why3

1.4.0 (1.4.0-1.fc34)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 34
^release

why3

1.3.3 (1.3.3-7.fc34)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 35
^release

why3

1.4.0 (1.4.0-3.fc35)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 35
^updates

why3

1.4.0 (1.4.0-4.fc35)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 36
^release

why3

1.4.1 (1.4.1-2.fc36)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 36
^updates

why3

1.4.1 (1.4.1-3.fc36)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 37
^release

why3

1.5.1 (1.5.1-1.fc37)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 37
^updates

why3

1.5.1 (1.5.1-3.fc37)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora Rawhide
^development

why3

1.5.1 (1.5.1-6.fc38)

Summary:
Software verification platform
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Gentoo

sci-mathematics/why3

1.5.1

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

Gentoo

sci-mathematics/why3

1.5.0 (1.5.0-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

Gentoo

sci-mathematics/why3

1.4.1 (1.4.1-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

Gentoo

sci-mathematics/why3

1.4.0 (1.4.0-r3)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

GNU Guix

why3

1.4.1

Summary:
Deductive program verification
Link(s):

Kali Linux Rolling
^main

why3

1.5.1 (1.5.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

LiGurOS stable

sci-mathematics/why3

1.5.1

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS stable

sci-mathematics/why3

1.5.0 (1.5.0-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS stable

sci-mathematics/why3

1.4.1 (1.4.1-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS stable

sci-mathematics/why3

1.4.0 (1.4.0-r3)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS develop

sci-mathematics/why3

1.5.1

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS develop

sci-mathematics/why3

1.5.0 (1.5.0-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS develop

sci-mathematics/why3

1.4.1 (1.4.1-r1)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

LiGurOS develop

sci-mathematics/why3

1.4.0 (1.4.0-r3)

Summary:
Platform for deductive program verification
Maintainers:
Category:
- sci-mathematics
License:
- LGPL-2
Link(s):

Mageia 7
^core/release

why3

1.2.0 (1.2.0-1.mga7)

Summary:
Software verification platform
Category:
- Sciences/Computer science
License:
- LGPLv2 with exceptions
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 21.11

why3

1.4.0

Summary:
A platform for deductive program verification
Maintainers:
- aseipp@pobox.com
- vincent.laporte@gmail.com
License:
- LGPL-2.1
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.05

why3

1.5.0

Summary:
A platform for deductive program verification
Maintainers:
- aseipp@pobox.com
- vincent.laporte@gmail.com
License:
- LGPL-2.1
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.11

why3

1.5.1

Summary:
A platform for deductive program verification
Maintainers:
- aseipp@pobox.com
- vincent.laporte@gmail.com
License:
- LGPL-2.1
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs unstable

why3

1.5.1

Summary:
A platform for deductive program verification
Maintainers:
- aseipp@pobox.com
- vincent.laporte@gmail.com
License:
- LGPL-2.1
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Pardus 17
^main

why3

0.87.3 (0.87.3-2)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Pardus 19
^main

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Pardus 21
^main

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^{parrot-updates/main}

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^parrot/main

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

pkgsrc current

devel/why3

1.5.1 (1.5.1nb1)

Summary:
Platform for deductive program verification
Maintainer:
- jihbed.research@gmail.com
Category:
- devel
Link(s):

PureOS Amber

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

PureOS landing

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Oldstable
^main

why3

1.2.0 (1.2.0-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Stable
^main

why3

1.3.3 (1.3.3-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Testing
^main

why3

1.5.1 (1.5.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Trisquel 9.0
^etiona/main

why3

0.88.3 (0.88.3-1ubuntu4)

Maintainers:
- ubuntu-devel-discuss@lists.ubuntu.com
- treinen@debian.org
Category:
- universe/misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Trisquel 10.0
^nabia/main

why3

1.2.1 (1.2.1-6)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- universe/misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Ubuntu 18.04
^{bionic/universe}

why3

0.88.3 (0.88.3-1ubuntu4)

Maintainers:
- ubuntu-devel-discuss@lists.ubuntu.com
- treinen@debian.org
Category:
- universe/misc
Link(s):

Ubuntu 20.04
^{focal/universe}

why3

1.2.1 (1.2.1-6)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- universe/misc
Link(s):

Ubuntu 22.10
^{kinetic/universe}

why3

1.5.0 (1.5.0-1build1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- universe/misc
Link(s):

Ubuntu 23.04
^{lunar/universe}

why3

1.5.1 (1.5.1-1build3)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- treinen@debian.org
Category:
- universe/misc
Link(s):

Packages for why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

why3

why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

sci-mathematics/why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

devel/why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3

why3