Index of /ubuntu-ports/pool/universe/w/why3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
why3_0.88.3.orig.tar.gz 42457372018-Jan-30 19:34
why3_0.88.3-1ubuntu4.debian.tar.xz 137322018-Apr-07 11:19
why3_0.88.3-1ubuntu4.dsc 27862018-Apr-07 11:19
why3-doc-html_0.88.3-1ubuntu4_all.deb 3631482018-Apr-07 11:19
why3-doc-pdf_0.88.3-1ubuntu4_all.deb 12414282018-Apr-07 11:19
why3-examples_0.88.3-1ubuntu4_all.deb 16168682018-Apr-07 11:19
why3_0.88.3-1ubuntu4_arm64.deb 267978882018-Apr-07 11:19
why3-coq_0.88.3-1ubuntu4_arm64.deb 26025722018-Apr-07 11:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_arm64.deb 20912482018-Apr-07 11:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_armhf.deb 19923802018-Apr-07 11:19
why3_0.88.3-1ubuntu4_armhf.deb 111652162018-Apr-07 11:19
why3-coq_0.88.3-1ubuntu4_armhf.deb 20182882018-Apr-07 11:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_ppc64el.deb 19753002018-Apr-07 11:19
why3-coq_0.88.3-1ubuntu4_ppc64el.deb 22202602018-Apr-07 11:19
why3_0.88.3-1ubuntu4_ppc64el.deb 222581522018-Apr-07 11:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_s390x.deb 17782882018-Apr-07 11:19
why3_0.88.3-1ubuntu4_s390x.deb 212048362018-Apr-07 11:19
why3-coq_0.88.3-1ubuntu4_s390x.deb 21550842018-Apr-07 11:19
why3_1.2.1.orig.tar.gz 60063832019-Oct-31 18:18
why3_1.2.1-6.dsc 27742020-Mar-12 23:08
why3_1.2.1-6.debian.tar.xz 231682020-Mar-12 23:08
libwhy3-ocaml-dev_1.2.1-6_s390x.deb 80299122020-Mar-12 23:08
why3_1.2.1-6_s390x.deb 319053802020-Mar-12 23:08
why3-doc-html_1.2.1-6_all.deb 2967202020-Mar-12 23:18
why3-doc-pdf_1.2.1-6_all.deb 12616962020-Mar-12 23:18
why3-examples_1.2.1-6_all.deb 24605882020-Mar-12 23:18
libwhy3-ocaml-dev_1.2.1-6_armhf.deb 80246642020-Mar-12 23:18
why3_1.2.1-6_armhf.deb 204171562020-Mar-12 23:18
why3-coq_1.2.1-6_ppc64el.deb 5784562020-Mar-12 23:18
libwhy3-ocaml-dev_1.2.1-6_ppc64el.deb 83183562020-Mar-12 23:18
why3_1.2.1-6_ppc64el.deb 331318442020-Mar-12 23:18
why3-coq_1.2.1-6_arm64.deb 5785402020-Mar-12 23:23
libwhy3-ocaml-dev_1.2.1-6_arm64.deb 88183682020-Mar-12 23:23
why3_1.2.1-6_arm64.deb 393784242020-Mar-12 23:23
libwhy3-ocaml-dev_1.2.1-6_riscv64.deb 42050082020-Apr-06 00:18
why3_1.2.1-6_riscv64.deb 581415242020-Apr-06 00:18
why3_1.6.0.orig.tar.gz 68500622023-Sep-11 18:44
why3_1.6.0-1build7.dsc 27492024-Apr-01 14:44
why3_1.6.0-1build7.debian.tar.xz 185922024-Apr-01 14:44
why3-examples_1.6.0-1build7_all.deb 39474342024-Apr-01 14:45
why3-doc-pdf_1.6.0-1build7_all.deb 13160942024-Apr-01 14:45
why3-doc-html_1.6.0-1build7_all.deb 7712122024-Apr-01 14:45
libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 142112102024-Apr-01 14:46
why3_1.6.0-1build7_arm64.deb 160049482024-Apr-01 14:46
libwhy3-ocaml-dev_1.6.0-1build7_armhf.deb 132334082024-Apr-01 14:46
why3_1.6.0-1build7_armhf.deb 119463602024-Apr-01 14:46
why3_1.6.0-1build7_riscv64.deb 140655202024-Apr-01 15:56
libwhy3-ocaml-dev_1.6.0-1build7_riscv64.deb 150896262024-Apr-01 15:56
why3_1.6.0-1build7_s390x.deb 140401582024-Apr-01 15:56
libwhy3-ocaml-dev_1.6.0-1build7_s390x.deb 130604762024-Apr-01 15:56
why3_1.6.0-1build7_ppc64el.deb 142634882024-Apr-01 23:47
libwhy3-ocaml-dev_1.6.0-1build7_ppc64el.deb 136943362024-Apr-01 23:47
why3_1.8.0.orig.tar.bz2 66373272025-Jan-23 14:47
why3_1.8.0-2.dsc 21402025-Feb-02 21:44
why3_1.8.0-2.debian.tar.xz 188922025-Feb-02 21:44
why3-examples_1.8.0-2_all.deb 42402062025-Feb-02 21:45
libwhy3-ocaml-dev_1.8.0-2_arm64.deb 148488322025-Feb-02 21:45
why3_1.8.0-2_arm64.deb 153678262025-Feb-02 21:45
libwhy3-ocaml-dev_1.8.0-2_armhf.deb 76797102025-Feb-02 21:45
why3_1.8.0-2_armhf.deb 246063382025-Feb-02 21:45
why3_1.8.0-2_ppc64el.deb 137342782025-Feb-02 21:45
libwhy3-ocaml-dev_1.8.0-2_ppc64el.deb 142892742025-Feb-02 21:45
why3_1.8.0-2_s390x.deb 138296502025-Feb-02 21:45
libwhy3-ocaml-dev_1.8.0-2_s390x.deb 137133322025-Feb-02 21:45
why3_1.8.0-2_riscv64.deb 137378622025-Feb-02 23:02
libwhy3-ocaml-dev_1.8.0-2_riscv64.deb 163114902025-Feb-02 23:02
why3_1.8.1-1.dsc 24602025-Sep-13 13:23
why3_1.8.1-1.debian.tar.xz 194762025-Sep-13 13:23
why3_1.8.1.orig.tar.bz2 66396782025-Sep-13 13:23
why3_1.8.1-1_arm64.deb 154048582025-Sep-13 13:30
libwhy3-ocaml-dev_1.8.1-1_arm64.deb 148606022025-Sep-13 13:30
why3_1.8.1-1_armhf.deb 246163402025-Sep-13 13:32
libwhy3-ocaml-dev_1.8.1-1_armhf.deb 76722622025-Sep-13 13:32
why3_1.8.1-1_ppc64el.deb 137501882025-Sep-13 13:34
libwhy3-ocaml-dev_1.8.1-1_ppc64el.deb 143428482025-Sep-13 13:34
libwhy3-ocaml-dev_1.8.1-1_s390x.deb 136891622025-Sep-13 13:36
why3_1.8.1-1_s390x.deb 138245622025-Sep-13 13:36
why3-examples_1.8.1-1_all.deb 42332602025-Sep-13 20:18
why3-doc-pdf_1.8.1-1_all.deb 14073362025-Sep-13 20:18
why3-doc-html_1.8.1-1_all.deb 9295582025-Sep-13 20:18
why3_1.8.1-1_riscv64.deb 137613962025-Sep-13 20:18
libwhy3-ocaml-dev_1.8.1-1_riscv64.deb 163605442025-Sep-13 20:18
why3_1.8.2.orig.tar.bz2 66449262025-Oct-18 20:32
why3_1.8.2-3build1.dsc 27012026-Mar-01 22:53
why3_1.8.2-3build1.debian.tar.xz 196522026-Mar-01 22:53
why3-examples_1.8.2-3build1_all.deb 42319882026-Mar-01 22:54
why3-doc-pdf_1.8.2-3build1_all.deb 13691122026-Mar-01 22:54
why3-doc-html_1.8.2-3build1_all.deb 9154342026-Mar-01 22:54
why3_1.8.2-3build1_arm64.deb 168834882026-Mar-01 22:55
libwhy3-ocaml-dev_1.8.2-3build1_arm64.deb 148799062026-Mar-01 22:55
why3_1.8.2-3build1_armhf.deb 265268062026-Mar-01 22:56
libwhy3-ocaml-dev_1.8.2-3build1_armhf.deb 71452702026-Mar-01 22:56
why3_1.8.2-3build1_ppc64el.deb 152675622026-Mar-01 22:56
libwhy3-ocaml-dev_1.8.2-3build1_ppc64el.deb 140570662026-Mar-01 22:56
libwhy3-ocaml-dev_1.8.2-3build1_s390x.deb 136800662026-Mar-01 22:57
why3_1.8.2-3build1_s390x.deb 155085902026-Mar-01 22:57
why3_1.8.2-3build1_riscv64.deb 154389282026-Mar-02 04:55
libwhy3-ocaml-dev_1.8.2-3build1_riscv64.deb 161667602026-Mar-02 04:55
why3_1.8.2-3build3.dsc 27012026-Jul-15 20:07
why3_1.8.2-3build3.debian.tar.xz 196922026-Jul-15 20:07
why3_1.8.2-3build3_arm64.deb 168887862026-Jul-16 14:33
libwhy3-ocaml-dev_1.8.2-3build3_arm64.deb 148124742026-Jul-16 14:33
why3_1.8.2-3build3_armhf.deb 265378482026-Jul-16 14:33
libwhy3-ocaml-dev_1.8.2-3build3_armhf.deb 71509222026-Jul-16 14:33
why3_1.8.2-3build3_s390x.deb 155064362026-Jul-17 03:00
libwhy3-ocaml-dev_1.8.2-3build3_s390x.deb 136959762026-Jul-17 03:00
libwhy3-ocaml-dev_1.8.2-3build3_ppc64el.deb 140676682026-Jul-17 03:39
why3_1.8.2-3build3_ppc64el.deb 152766742026-Jul-17 03:39
libwhy3-ocaml-dev_1.8.2-3build3_riscv64.deb 161330322026-Jul-17 04:22
why3_1.8.2-3build3_riscv64.deb 154515942026-Jul-17 04:22
why3-doc-html_1.8.2-3build3_all.deb 9165982026-Jul-19 13:34
why3-doc-pdf_1.8.2-3build3_all.deb 13665922026-Jul-19 13:34
why3-examples_1.8.2-3build3_all.deb 42304302026-Jul-19 13:34