Pinned Loading

1. jpf-core jpf-core Public

   Forked from javapathfinder/jpf-core

   This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like d…

   Java

2. openmrs/openmrs-module-webservices.rest openmrs/openmrs-module-webservices.rest Public

   Provides RESTful web services for OpenMRS (REST API)

   Java 83 503

3. openmrs/openmrs-core openmrs/openmrs-core Public

   OpenMRS API and web application code

   Java 1.4k 3.6k

4. GNOME/rhythmbox GNOME/rhythmbox Public

   Read-only mirror of https://gitlab.gnome.org/GNOME/rhythmbox

   C 195 69

5. dotfiles dotfiles Public

   Linux Debian Configuration and Installation Files

   Shell 2 3

6. openjdk-8-install.sh openjdk-8-install.sh

   1

   #!/bin/bash

   2

   3

   if [ ! -f /etc/apt/sources.list.d/jessie-backports.list ]; then

   4

       echo "added by gayanw" > /etc/apt/sources.list.d/jessie-backports.list

   5

       echo "deb http:https://http.debian.net/debian jessie-backports main" > /etc/apt/sources.list.d/jessie-backports.list