Display 1 - 40 hits of 84865.
Agda | 2.5.4.2-lp150.1.2 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 15 |
Agda | 2.5.4.2-1.7 | x86_64 | A dependently typed functional programming language and proo | openSUSE Tumbleweed |
Agda | 2.5.4-lp150.2.2 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 15 |
Agda | 2.5.4-2.2 | x86_64 | A dependently typed functional programming language and proo | openSUSE Tumbleweed |
Agda | 2.5.3-lp150.5.1 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 15 |
Agda | 2.5.3-5.1 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 42 |
Agda | 2.5.3-5.1 | x86_64 | A dependently typed functional programming language and proo | OpenSuSE |
Agda | 2.5.3-4.20 | x86_64 | A dependently typed functional programming language and proo | openSUSE Tumbleweed |
Agda | 2.5.2-11.5 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 42 |
Agda | 2.5.2-11.4 | x86_64 | A dependently typed functional programming language and proo | OpenSuSE |
Agda | 2.5.2-11.30 | x86_64 | A dependently typed functional programming language and proo | openSUSE Tumbleweed |
Agda | 2.5.2-11.11 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 42 |
Agda | 2.5.1.1-8.7 | x86_64 | A dependently typed functional programming language and proo | OpenSuSE |
Agda | 2.5.1.1-8.20 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 42 |
Agda | 2.5.1.1-8.13 | x86_64 | A dependently typed functional programming language and proo | openSUSE Leap 42 |
alex | 3.2.4-lp151.15.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.4-lp150.6.17 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.4-lp150.6.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.4-lp150.15.2 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.4-lp150.1.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.4-bp150.15.2 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | OpenSuSE |
alex | 3.2.4-9.7 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.4-6.6 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.4-6.4 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.4-6.39 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.4-15.6 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.4-15.4 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.2.4-1.4 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.3-lp150.5.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 15 |
alex | 3.2.3-5.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.2.3-5.1 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | OpenSuSE |
alex | 3.2.3-3.36 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.3-1.2 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.2.1-11.6 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.2.1-11.5 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | OpenSuSE |
alex | 3.2.1-11.35 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.1-11.12 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.1.7-4.59 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.1.7-4.43 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Leap 42 |
alex | 3.1.7-4.24 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | OpenSuSE |