diff options
| author | Leo Famulari <leo@famulari.name> | 2019-03-13 17:08:29 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2019-03-14 15:34:30 -0400 |
| commit | 2f9bbd8e6c49a4c204d05a87710e83d69ad80d1f (patch) | |
| tree | 3f1ff0e215537bdff7821c9ff3acd15b1ae56322 /gnu/packages/coq.scm | |
| parent | e3f14f47ffcbefa3c37910403f73e556524265ca (diff) | |
| download | guix-2f9bbd8e6c49a4c204d05a87710e83d69ad80d1f.tar.gz | |
gnu: Gogo protocol buffers: Update to 1.2.1.
* gnu/packages/golang.scm (go-github-com-gogo-protobuf, go-github-com-gogo-protobuf-protoc-gen-gogo, go-github-com-gogo-protobuf-gogoproto, go-github-com-gogo-protobuf-proto): Update to 1.2.1. (go-github-com-gogo-protobuf-proto)[license] Fix license. [synopsis, description]: Complete. (go-github-com-gogo-protobuf-protoc-gen-gogo)[arguments]: Skip the tests.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions