Log in / Register

Jason Gross

  • Overview
  • Code
  • Bugs
  • Blueprints
  • Translations
  • Answers
  • Related packages
  • Related projects

User information

Launchpad Id:
jgross-h
Email:
Log in for email information.

Member since:
2013-02-26
Signed Ubuntu Code of Conduct:
Yes
OpenPGP keys:
80DAE126751CD7E5DF30C84746B5560E714E02B8, A56AD75CF7991088DDD11BC75E3477EAC69DAB62, 76FC7ECE65EC30D46B29FA726B8B0C9AEEFA3F93, 39210BEFB26F87C594585887772A9FEF66C6E471, 8320AA1B26454DD95BC5477B4FE985BCA9FD65D9
SSH keys:
jgross@dr-wily
jasongross9@gmail.com
jgross@mit.edu
Languages:
English
Time zone:
UTC (UTC+0000)
Karma:
15652 Karma help

Personal package archives

Coq Daily Builds (v8.10)
Coq Daily Builds (v8.11)
Coq Daily Builds (v8.12)
Coq Daily Builds (v8.13)
Coq Daily Builds (v8.14)
Coq Daily Builds (v8.15)
Coq Daily Builds (v8.16)
Coq Daily Builds (v8.5)
Coq Daily Builds (v8.6)
Coq Daily Builds (v8.7)
Coq Daily Builds (v8.8)
Coq Daily Builds (v8.9)
Coq backports
Coq Daily Builds
Coq Daily Builds (master)
Coq Daily Builds (trunk)
graphviz
Many Coq Versions
Coq Versions with OCaml 3.1*
Coq Versions with OCaml 3.1*
Many Coq Versions with OCaml 4.05
Many Coq Versions with OCaml 4.05 (testing)
Many Coq Versions with OCaml 4.08
Many Coq Versions with OCaml 4.11
Some Older Versions of Ocaml
PPA
Temp ppa for testing Coq with a new ocaml (1)
Temp ppa for testing Coq with a new ocaml (2)
Temp ppa for testing Coq with a new ocaml (3)
  • View source package recipes

All memberships Latest memberships

BarnOwl Developers
Joined on 2013-02-26

Recent activities Most active in

Ubuntu
Launchpad  •  Take the tour  •  Read the guide  
© 2004-2022 Canonical Ltd.  •  Terms of use  •  Data privacy  •  Contact Launchpad Support  •  Blog  •  Careers  •  System status  •  r86ce148 (Get the code!)