Display 1 - 40 hits of 97245.
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.5.1.0-dlh.1.28 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.5.1.0-dlh.1.28 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | OpenSuSE |
alex | 3.5.1.0-1.89 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.5.0.0-1.79 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.7.4-2.164 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
alex | 3.2.7.1-6.162 | x86_64 | Alex is a tool for generating lexical analysers in Haskell | openSUSE Tumbleweed |
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.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 |
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-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 |